000 00447pam a2200145a 44500
008 160408b1975 xxu||||| |||| 00| 0 eng d
082 _a511.3
_bM311c
100 _aManaster, Alfred B.
245 1 _aCOMPLETENESS COMPACTNESS AND UNDECIDABILITY
_cAN INTRODUCTION TO MATHEMATICAL LOGIC
260 _aEnglewood Cliiffs
_bPrentice-Hall
_c1975
300 _a154
650 _aLogic, Symbolic And Mathematical
964 _gCIRC
997 _aA57467 C
999 _c293094
_d293094