000 00590nam a2200205Ia 4500
001 000000257487
008 230524s9999 xx 000 0 und d
020 _a0720428440
040 _cUDSM
050 _aMATH HF5635.T42
100 1 _aBell, J. L.
_eAuthor
245 1 2 _aA Course in mathematuical logic
_cJ. L. Bell
260 _aAmsterdam
_b : North-Holland Publishing Company,
_c1977
300 _axviii,599p.
_b : ill.
_c ; 23cm.
504 _aBibliography: p.576-583
650 _aLogic
650 _asymbolic and mathematical
700 1 _aM. Machover
_eAuthor
942 _2lcc
_cBK
999 _c70533
_d70533