000 00329 a2200121 4500
080 _a517.1
_bC 156 I
245 1 _aIntroduction to mathematical logic
_bVol. 1
_cby A. Church
260 _aNew Jersey
_bPrinceton University Press
_c1956
650 _aMathematical Logic
100 1 _aChurch, A.
_d
300 _a378 p.
901 _a93823
999 _c24985
_d24985