000 00422nam a22001457a 4500
008 230427b |||||||| |||| 00| 0 eng d
040 _aNational Science Library
_cNational Science Library
080 _a517.1
_bJ6.1
100 _aChurch, Alonzo
245 _aIntroduction to mathematical logic
260 _aNew Jersey:
_bPrinceton University Press,
_c1956
300 _a378p.
650 _aScience
942 _2udc
_cBK
999 _c24438
_d24438