A very nice interactive introduction to the sequent calculus is here: http://logitext.mit.edu/tutorial
A very nice interactive introduction to the sequent calculus is here: http://logitext.mit.edu/tutorial