Mathematical Logic

Abstract

The book covers a standard syllabus in propositional and predicate logic. A teacher could use it to follow a geodesic path from truth tables to the Completeness Theorem. Teachers who are willing to follow our choice of examples from diophantine arithmetic (and are prepared to take on trust Matiyasevich’s analysis of diophantine relations) should find, as we did, that G¨odel’s Incompleteness Theorem and the undecidability of predicate logic fall out with almost no extra work.