Church, Alonzo Introduction To Mathematical Logic. - Princeton, Univ. Press 1956 - ix,378P Subjects--Topical Terms: B:R1 Dewey Class. No.: B:R1 / I6.1