000 00585nam a2200217Ia 4500
003 OSt
005 20241105100840.0
008 240925s9999 xx 000 0 und d
020 _aNA
040 _cAACR2
082 _a004.21 SCH
100 _aScheurer, Thierry
245 0 _aFoundations of Computing: System Development With Set Theory and Logic
250 _aNA
260 _aNew York:
_bFree Press
_c,1994.
300 _axxviii,427p.
_bNA
_fPirated
500 _aNA
600 _aComputer Science
650 _aComputer science, information & general works
942 _cBK
_2ddc
999 _c6100
_d6100