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.