Introduction to mathematical logic - Church, Alonzo (Princeton Mathematical Series, 1956)