I was prompted to start working on a second edition of Gödel Without (Too Many) Tears by discovering that there was a significant muddle in Chapter 5 (I had inconsistently wavered between taking Baby Arithmetic, so called, as having just a negation connective, and having other connectives too). Thanks again to Ben Selfridge for pointing out that embarrassing glitch.
This new instalment of GWT2 corrects that unfortunate mess, and makes a number of other small improvements for clarity/readability, in what is now numbered as Chapter 6. So here it is!
To save readers having to dart between different PDFs, I have included the revised versions of the Preface and earlier chapters (with only trivial changes from the previous posting).
Need I say it? No: but I still will! Corrections and friendly suggestions are immensely welcome at this stage.
Already updated with many thanks to David Furcy and Léon Probst. (You may need to force your browser to reload the file to get the version dated 18 July.)