http://localhost:8080/xmlui/handle/123456789/735 2026-04-04T11:43:08Z 2026-04-04T11:43:08Z Chiswell, Ian http://localhost:8080/xmlui/handle/123456789/736 2013-03-22T05:24:57Z 2007-01-01T00:00:00Z

Mathematical Logic Chiswell, Ian 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.

2007-01-01T00:00:00Z