THE CALCULI OF LAMBDA-CONVERSION - Church, Alonzo (Princeton Princeton University Press, 1941)
Reprinted With Permission Of The Original Publishers. Kraus Reprint Corporation. New York, 1965
Keywords: Logic, Symbolic And Mathematical; Functions