000 00506nam a2200181Ia 4500
020 _a0-387-90895-1
082 _a511.3
_bEBM
100 _aEbbinghaus, H.-D
_941611
245 _aMathematical logic
_cH.-D Ebbinghaus, J Flum and W Thomas
260 _aNew York:
_bSpringer-Verlag,
_c1984.
300 _bix, 216p.
500 _aIncludes bibliography and index
546 _aEng
650 _aLogic, Symolic and mathematical
_941612
700 _aFlum, J
_941613
700 _aThomas, W
_941614
942 _cBK
999 _c9314
_d9314