Here, then, is a full draft of Part I of the revised Beginning Mathematical Logic Study Guide (vi + 114pp).
It is, I hope, in a reasonable state. But it goes without saying that comments, suggestions and corrections of the inevitable typos will still be most welcome.
The plan now is to add the much shorter Part II (briefly looking over the fence at some areas of logic mostly of interest to philosophers rather than mathematicians), and then the more substantial Part III (advanced readings on the topics of Part I). But hopefully, revising these further chapters will be relatively speedy, as I won’t be writing expansive overviews for them. I want this time-consuming project off my laptop by the end of the year!