New Edition of Sets, Logic, Computation

The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE].  The most recent changes are outlined in this previous postbut: sequent calculus! new proof of completeness! a chapter on how to do proofs!