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 |