000 00658nam a2200205Ia 4500
008 191130s1956##################000#0#eng##
020 _a9780691029061
040 _aACL
_cACL
082 _a511.3 CHU
100 _aChurch, Alonzo
245 _aIntroduction to mathematical logic
_cby Alonzo Church
260 _aPrinceton, N.J
_bPrinceton University Press
_c1956 (1996 printing)
300 _aix,378 p. ; 24 cm
500 _aIncludes index
650 _aLogic, Symbolic and mathematical
650 _aLogic, Symbolic and mathematical -- Problems, exercises, etc
990 _a2d68c4d7ac10000c363def339784359c
991 _a147983
999 _c268817
_d268817