TY  - BOOK
AU  - Church, Alonzo
TI  - Introduction to mathematical logic: volume 1
CY  - Princeton
N1  - B31 J61
ER  -