I’ve now checked through the complete draft of *Beginning Mathematical Logic: A Study Guide*, and you can download it here (all viii + 185 pages of it).

I’ve made a few late content changes (the long ‘overview’ sections on FOL and on set theory have been split into two parts, and I’ve added a few paragraphs in each case). Obviously, this is the sort of project that one could keep tinkering with almost without limit. But I’m going to call it a day.

So it will be one final read through for me, for residual typos and to check for aesthetic flaws like hyphenations that cross pages and so on. And I need to design the cover properly and that sort of thing. Meanwhile, this is the last call for corrections and suggestions, before putting it into the Amazon paperback publishing system for those who would like a hard copy. (Yes, yes, I know that using Amazon is not ideal: but I can and will set the price so low that their royalty take will be pennies. And the result will be much cheaper than the alternatives.)

*Added January 21 *There’s an updated version (some typographical changes, a few typos corrected, some minor changes in Chapters 1, 2, 4 and 5.) I’ve started setting up the KDP paperback process, doing the cover design etc. The paperback will come out at x + 184 pages, unless the last minute changes alter that, and yet still can be priced at £4.99/$5.99, which is a decent bargain. If you’ve seen a paperback of one of the other, same-format, Big Red Logic books, you’ll know that Amazon in fact make an unexpectedly decent job of their cheap print-on-demand paperbacks.

Sam ButchartI jumped into this more or less at random and noticed a typo on p.31 -indented para. at the top. The final ‘if p and q then q’ should be ‘if p and q then p’ to match the text and the Gentzen proof.

Sam ButchartOne more: bottom of p. 156 “For for a less exotic…” should be”For a less exotic….”

Peter SmithThanks for these two!

BenSubsystems of Second-Order Logic should be Subsystems of Second-Order Arithmetic

Peter SmithThanks!

HMHi, on p. 181 ‘Howard Simmons’ should be ‘Harold Simmons’.

Peter SmithAaaarghh! And I knew him too! I must have been distracted by “Curry-Howard”.

PHOne minor remark: You have two different entries for Heinz-Dieter Ebbinghaus in your Index of authors.

Peter SmithOops. I should have spotted that!