00648nam a2200193Ia 4500008004100000020001400041082001500055100002200070245007500092250000700167260003300174300002900207500001900236600002100255650005000276942000700326952010600333999001500439240925s9999    xx            000 0 und d  a201544296  a004.21 SCH  aScheurer, Thierry 0aFoundations of Computing: System Development With Set Theory and Logic  aNA  aNew York:bMIS Pressc,1994.  axlii1164p.bNAfOriginal  aIncludes Index  aComputer Science  aComputer science, information & general works  cBK  001040708CSaUITUbUITUd2000-04-03eNAl0o004.21 SCHpQ3351r2024-09-25 07:13:07w2024-09-25yBK  c5850d5850