Introduction to mathematical logic.
Church, Alonzo.
Princeton, N.J., 
1956.