Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number...
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
Use discount code TIME to enjoy 30% off our April Book Club Pick – Timefulness by Marcia Bjornerud.