000 00485nam a2200193Ia 4500
008 140908s9999 xx 000 0 und d
020 _a0720428440
040 _aNISER LIBRARY
041 _aEnglish
082 _a510.6
_bBEL-C
100 _aBell, J
245 _aCourse in mathematical logic
_cJohn Bell and Moshe Machover
260 _aAmsterdam
_bElsevier
_c1997
300 _axiii,599p.
500 _aRef. sec
650 _aLOGIC
700 _aMachover, M
_4Auth.
942 _cBK
999 _c3392
_d3392