Church, Alonzo Introduction to mathematical logic / - New Jersey: Princeton University Press, 1970 - - Princeton Mathematical series, 17 . Dewey Class. No.: 511.3 / C561.IM