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