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.