The Calculi of lambda-conversion - Church, Alonzo n. 1903 (Annals of mathematics studies, 1941)