Introduction to mathematical logic. Vol. 1 - Church, Alonzo (Princeton University Press, 1956)