[FOM] Yet another online resource - sequent calculus

[Alex Sakharov]

Hello,
This is just an announcement about another online resource that I made
available recently. It is called Sequent Calculus Primer:
http://sakharov.net/sequent.html
It could be useful primarily for students.

My motivation for creating this page was to bring up a bunch of
derivation examples. Such examples are hard to find anywhere including
monographs in proof theory. I remember my initial painful experience
with constructing sequent calculus proofs. Once I got used to this, I
actually found it easier to construct sequent-based derivations than a
Hilbert-type ones. Basically, I am trying to simplify other students life.

Also, I would appreciate comments suggesting additional derivations that
would complement (rather than repeat) those already on the page. 
Thanks,
Alex Sakharov