Introduction to mathematical logic. VOLUME 1. - Church, Alonzo (Princeton Mathematical Series / Princeton University Press ;, 1956)