An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by
102,99 €
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: