000 00456nam a2200169Ia 4500
020 _a0-07-912931-5
082 _a519
_bKEM
100 _aKeisler, H. Jerome
_916382
245 _aMathematical logic and computability
_cH. Jerome Keisler
260 _aNew York
_bMcGraw-Hill
_c1996
300 _bvii,484p
500 _aIncludes bibliography and index
546 _aeng
650 _aApplied mathematic
_916383
700 _aRobbin Joel
_916384
942 _cBK
999 _c4715
_d4715