Introduction to mathematical logic - Church, Alonzo, 1903-1995 (Princeton University Press, 1956)