Church, Alonzo, The calculi of lambda-conversion / by Alonzo Church. - Princeton : Princeton University Press, 1941. - ii, 77 p. ; Lithoprinted. ISBN: 591 Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 511.3 / Ca