The calculi of lambda-conversion. - Church, Alonzo 1903- (Princeton Princeton University Press, 1941)
Lithoprinted.
Keywords: Logic, Symbolic and mathematical; Functions