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.
One minor remark: You have two different entries for Heinz-Dieter Ebbinghaus in your Index of authors.
Oops. I should have spotted that!
Hi, on p. 181 ‘Howard Simmons’ should be ‘Harold Simmons’.
Aaaarghh! And I knew him too! I must have been distracted by “Curry-Howard”.
Subsystems of Second-Order Logic should be Subsystems of Second-Order Arithmetic
Thanks!
One more: bottom of p. 156 “For for a less exotic…” should be”For a less exotic….”
Thanks for these two!
I 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.