00673nam a2200193Ia 4500008004100000020001400041082001500055100002200070245007500092250000700167260003700174300002400211500001900235600002100254650005000275942000700325952013200332999001500464240925s9999    xx            000 0 und d  a201544296  a004.21 SCH  aScheurer, Thierry 0aFoundations of Computing: System Development With Set Theory and Logic  aNA  aEngland:bAddison Welseyc,1994.  a143p.bNAfOriginal  aIncludes Index  aComputer Science  aComputer science, information & general works  cBK  001040708CSaUITUbUITUd1995-04-18eRoyal Book Company g1665.09l0o004.21 SCHpQ0269r2024-09-25 07:12:02w2024-09-25yBK  c2768d2768