Mathematical Logic: An Introduction by Daniel Cunningham (English) Paperback Boo
83,65 €
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction.
Jetzt bei Ebay:
