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.
Excellent recommendations as a study guide to mathematical logic. Short enough to pique one's interest and not long enough to explain everything, which is the point, because it merely sets a reader off to other pastures to better understanding.