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