Introduction to mathematical logic - Church, Alonzo (Princeton PUP, 1956)
Keywords: MATHEMATICS; MATHEMATICAL LOGIC