510 / An72
Church, Alonzo
THE CALCULI OF LAMBDA-CONVERSION
/
.- Princeton: Princeton University Press, 1941
.- 82 .
.- ( Annals Of Mathematics Studies, No. 6
Reprinted With Permission Of The Original Publishers. Kraus Reprint Corporation. New York, 1965
Subject Headings:
Logic, Symbolic And Mathematical;
Functions;
Copy Details:
Acc. No.: 72886, Full Call No.: 510 An72, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------