I’ve renamed the old Teach Yourself Logic study guide; it is now more aptly called Beginning Mathematical Logic: A Study Guide. And there is now a new version of Part I of the Guide (all 95 pages of it) which you can download from here. It’s taken some time to settle on a style for the expanded Guide (though in the end I have not worried too much about keeping the level of the “overviews” of various topics consistent in level), and also it’s a judgement call where to place e.g. a quick introduction to second-order logic.
If you read the PDF from within a browser (as opposed to downloading it and using a PDF reader) it seems best to use Firefox on a Mac. Because then, if you go back after clicking a link, you are returned to your place in the Guide: Safari returns you unhelpfully to the beginning of the Guide.
All comments/corrections gratefully received as always — but perhaps better to use email until I can sort out the comment handling on the blog. The comments will arrive in my admin dashboard but won’t be visible.