Introduction to mathematical logic - Church, Alonzo, 1903-1995 (Princeton landmarks in mathematics and physics, 1996)