An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by
102,10 €
An introduction to mathematical logic that starts with propositional calculus and first-order logic. This introduction to mathematical logic starts with propositional calculus and first-order logic.
Jetzt bei Ebay: