http://localhost:8080/xmlui/handle/123456789/735 Sat, 04 Apr 2026 11:43:27 GMT 2026-04-04T11:43:27Z http://localhost:8080/xmlui/handle/123456789/736 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. Mon, 01 Jan 2007 00:00:00 GMT http://localhost:8080/xmlui/handle/123456789/736 2007-01-01T00:00:00Z