000 00481nam a2200169Ia 4500
001 aQ3022
008 220802s9999 xx 000 0 und d
020 _a0-201-54429-6
100 _a Scheurer , Thierry
245 0 _aFoundation of Computing :system developmenting with set theory and logic
250 _a.NA
260 _aWokingham
_c1994
300 _axxiv,668
600 _aComputer Science
650 _aComputer science, information & general works
942 _bBooks
_cBK
999 _c4748
_d4748