The calculi of lambda-conversion - Church, Alonzo, 1903-1995 (Princeton : Princeton University Press, 1941)
Second printing (1951) has imprint: Princeton : Princeton University Press ; London : Humphrey Milford, Oxford University Press, 1941.
Keywords: Lambda calculus; Logic, Symbolic and mathematical