TY  - BOOK
AU  - Church, Alonzo
TI  - THE CALCULI OF LAMBDA-CONVERSION
U1  - 510 
PY  - 1941///
CY  - Princeton
PB  - Princeton University Press
KW  - Logic, Symbolic And Mathematical
KW  - Functions
N1  - Reprinted With Permission Of The Original Publishers. Kraus Reprint Corporation. New York, 1965
ER  -