Authors
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.