The calculi of lambda-conversion. - Church, Alonzo 1903- (Annals of mathematics studies, no. 6, 1941)