Introduction to mathematical logic - Church, Alonzo (Princeton University Press, 1996)