Church, Alonzo Introduction to mathematical logic - New Jersey: Princeton University Press, 1956 - 378p. Subjects--Topical Terms: Science Universal Decimal Class. No.: 517.1 / J6.1