TY - BOOK AU - Church, Alonzo TI - Introduction to mathematical logic T2 - Princeton mathematical services^Marston Morse and Awtucker;17 PY - 1956/// KW - Mathematics KW - Philosophy ER -