The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)by Alonzo ChurchLogic, symbolic and mathematicalRecursive functionsWriting a summary for young readers…For young readersBook data: Open Library
