00473nam a2200157Ia 4500008004100000020001400041082001500055100002200070245007500092250000700167260003400174300002900208500000700237600002100244650005000265240925s9999    xx            000 0 und d  a201544296  a004.21 SCH  aScheurer, Thierry 0aFoundations of Computing: System Development With Set Theory and Logic  aNA  aNew York:bFree Pressc,1994.  axxiv,668p.bNAfOriginal  aNA  aComputer Science  aComputer science, information & general works