Introduction to Mathematical Logic - Church, Alonzo 1903-1995 (Princeton mathematical series, 1956)