The calculi of lambda-conversion - Church, Alonzo 1903-1995 (Annals of mathematics studies ;, 1951)