The Daily Bulletin Archive

Daniel Cunningham, professor emeritus of mathematics, has been notified that De Gruyter has published his latest book, Mathematical Logic: An Introduction.

The textbook uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. 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. The text also covers Tarski’s definition of truth and the computability concept. It also provides coherent proofs of Godel’s completeness and incompleteness theorems.

De Gruyter publishes first-class scholarship and has done so for more than 270 years. An international, independent publisher headquartered in Berlin—and with further offices in Boston, Beijing, Basel, Vienna, Warsaw, and Munich—it publishes over 1,300 new book titles each year and more than 900 journals in the humanities, social sciences, medicine, mathematics, engineering, computer sciences, natural sciences, and law.