000 00576cam a2200217ua 4500
001 15831
003 SGBCLib
005 20221017112944.0
007 t
008 080901t1978||||||||||| 00 ||ben c
040 _aSGBCLib
041 0 _aben
082 _a164
100 0 _aMANASTER, ALFRED B
_eAUTHOR
245 1 0 _aCOMPLETENESS COMPACTNESS AND UNDECIDABILITY ; AN INTRODUCTION TO MATHEMATICAL LOGIC /
_cA. B. MANASTER
260 _aNEW DELHI:
_bPRENTICE HALL,
_c1978.
300 _avi,154 P.
650 _aMATHEMATICAL LOGOC
852 _k164
_mMAN-C
942 _cBK
999 _c15830
_d15830