Visit http://www.logicmatters.net/about for information about me and my books. Other pages on that website link to some relatively recent papers, handouts, and lecture notes which I might stand by (ignore earlier stuff). Also you will find Gödel Without Tears (a cut-down version of my Gödel book), the widely read opinionated Teach Yourself Logic Study Guide (now in its 2020 edition), and the developing Category Theory: A Gentle Introduction, which actually might be useful -- though the latter is on hold as I finish work on a second edition of my intro logic text.
-
Cambridge UniversityRetired faculty
Areas of Specialization
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |