Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo... Læs mere
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.