000			00553nam a2200181Ia 4500
008			240925s9999 xx 000 0 und d
020			_a201544296
082			_a004.21 SCH
100			_aScheurer, Thierry
245		0	_aFoundations of Computing: System Development With Set Theory and Logic
250			_aNA
260			_aWokingham: _bAddison-Wily Publishing Company _c,1994.
300			_axxiv,668p. _bNA _fOriginal
500			_aIncludes Index
600			_aComputer Science
650			_aComputer science, information & general works
942			_cBK
999			_c5515 _d5515