Introduction to Mathematical Logic - Church, Alonzo (Princenton University Press, 1956)