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 |