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