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 post, but: sequent calculus! new proof of completeness! a chapter on how to do proofs!
