00534nam a2200193Ia 4500003000400000005001700004008004100021020000700062040001000069082001500079100002200094245007500116250000700191260003400198300003000232500000700262600002100269650005000290OSt20241105100840.0240925s9999    xx            000 0 und d  aNA  cAACR2  a004.21 SCH  aScheurer, Thierry 0aFoundations of Computing: System Development With Set Theory and Logic  aNA  aNew York:bFree Pressc,1994.  axxviii,427p.bNAfPirated  aNA  aComputer Science  aComputer science, information & general works