Restall’s new project: Proof and Counterexample

Greg Restall has a new book projct: Proof and Counterexample, a text on basic proof theory (sequent calculus and natural deduction, cut elimination and normalization, and such). Knowing Greg’s interests, this will cover proof theory for many non-classical logics. Greg’s draft is online, and the wiki devoted to the book also has a bunch of interesting and useful pointers on typesetting logic and, in particular, proofs. It’s editable, so you, too, can contribute to the project. (Charles already has.)

Leave a Reply

Your email address will not be published. Required fields are marked *