Church Alonzo Introduction to mathematical logic - 1956 - p. cm. Standard No.: 63770 Source: Textual Subjects--Topical Terms: Philosophy of maths Dewey Class. No.: B:(R1), J6.1