The Calculi of Lambda-Conversion (AM-6), Volume 6
By (Author) Alonzo Church
Princeton University Press
Princeton University Press
1st April 1985
United States
Professional and Scholarly
Non Fiction
Paperback
77
Width 152mm, Height 229mm
170g
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
Alonzo Church (19031995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science. He is the author of Introduction to Mathematical Logic (Princeton).