An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by
147,21 €
This introduction to mathematical logic starts with propositional calculus and first-order logic. The last three chapters of the book provide an introduction to type theory (higher-order logic). An introduction to mathematical logic that starts with propositional calculus and first-order logic.
Jetzt bei Ebay:
