The Calculi of lambda-conversion - Church, Alonzo n. 1903 (Princeton, N.J. : Princeton University Press, 1941)
Reimpresiones: 1951, 1965
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; FUNCIONES