Beginning Mathematical Logic: A Study Guide

There are many wonderful introductory texts on mathematical logic, but there are also many not-so-useful books. So how do you find your way around the very large literature old and new, and how do you choose what to read? Beginning Mathematical Logic provides the necessary guide. It introduces the core topics and recommends the best books for studying these topics enjoyably and effectively. This will be an invaluable resource both for those wanting to teach themselves new areas of logic and for those looking for supplementary reading before or during a university course.

Peter Smith was formerly Senior Lecturer in Philosophy at the University of Cambridge, and taught logic for more years than he cares to remember. His books include Explaining Chaos (1998), An Introduction to Formal Logic (2003; 2020), An Introduction to Gödel’s Theorems (2007; 2013), and Gödel Without (Too Many) Tears (2020). He was also editor of Analysis for a dozen years.