000 00533nam a22002057a 4500
005 20160331113825.0
008 160331b xxu||||| |||| 00| 0 eng d
020 _a9780691029061
040 _aNISER LIBRARY
041 _aEnglish
082 _a510.6
_bCHO-I
100 _aChurch, Alonzo
245 _aIntroduction to mathematical logic
260 _aPrinceton
_bPUP
_c1956
300 _aix, 378p. pbk.
440 _aPrinceton landmarks in mathematics
650 _aMATHEMATICS
650 _aMATHEMATICAL LOGIC
942 _cBK
999 _c23929
_d23929