## Book Notes on Logic and the Philosophy of Mathematics

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 |

1967 | Kleene, S. C. | Mathematical Logic |

1962 | Kleene, S. C. | Introduction to Metamathematics |

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.