Visit 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.