The links in the (sortable) table below open to new tabs to display notes on various books, classic and more modern logic texts, philosophy books that I have reviewed, etc. Some pieces are short (excerpted from the Appendix to the Teach Yourself Logic Study Guide), some longer (perhaps bringing together a number of blog posts).
| Date | Author | Title |
|---|
| 2009 | Aluffi, P. | Algebra: Chapter 0 |
| 2011 | Baaz et al. (eds) | Kurt Gödel and the Foundations of Mathematics: Horizons of Truth |
| 2009 | Berto, F. | There's Something About Gödel |
| 1977 | Bridge. J | Beginning Model Theory |
| 2007 | Buechner, J. | Gödel, Putnam, and Functionalism |
| 2007 | Chiswell & Hodges | Mathematical Logic |
| 2012 | Colyvan, M. | An Introduction to the Philosophy of Mathematics |
| 1978 | Ebbinghaus, Flum & Thomas | Mathematical Logic |
| 1972 | Enderton, H. | A Mathematical Introduction to Logic |
| 2003 | Forster, F. | Logic, Induction and Sets |
| 1995 | Goldstern & Judah | The Incompleteness Phenomenon: A New Course in Mathematical Logic |
| 2011 | Halbach, V. | Axiomatic Theories of Truth |
| 2004 | Hedman, S. | A First Course in Logic |
| 2005 | Hinman. P. | Fundamentals of Mathematical Logic |
| 1995 | Hodel, R. | An Introduction to Mathematical Logic |
| 2011 | Horsten, L. | The Tarskian Turn: Deflationism and Axiomatic Truth |
| 1987 | Johnstone, P. | Notes on Logic and Set Theory |
| 2019 | Kirby, J | An Invitation to Model Theory |
| 1967 | Kleene, S. C. | Mathematical Logic |
| 1962 | Kleene, S. C. | Introduction to Metamathematics |
| 2018 | Kossak, R | Mathematical Logic |
| 2007 | Krömer, R | Tool and Object: A History and Philosophy of Category Theory |
| 2015 | Leary, C. & Kristiansen, L. | A Friendly Introduction to Mathematical Logic |
| 2011 | Maddy, P. | Defending the Axioms: On the Philosophical Foundations of Set Theory |
| 1999 | Manzano, M | Model Theory |
| 1964 | Mendelson, E. | Introduction to Mathematical Logic |
| 2006 | Olszewski et al. (eds) | Church’s Thesis after 70 Years |
| 2008 | Parsons, P. | Mathematical Thought and Its Objects |
| 1986 | Prestell & Delzell | Mathematical Logic and Model Theory |
| 2006 | Rayo & Uzquiano (eds) | Absolute Generality See also blog posts |
| 1969 | Robbin, J. | Mathematical Logic: A First Course |
| 2014 | Shapiro, S. | Varieties of Logic |
| 1967 | Shoenfield, J. | Mathematical Logic |
| 2010 | Sider, T. | Logic for Philosophy |
| 2012 | Smith, N. | Logic: The Laws of Truth |
| 1980 | van Dalen, D. | Logic and Structure |
| 2010 | Weir, A | Truth Through Proof |
| 2015 | Zach, R. et al. | Open Logic Text |
For brevity’s sake, dates in the first column are dates of first publication: there are often later editions discussed in the linked Notes.