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.
