Туториал по sequent calculus http://logitext.ezyang.scripts.mit.edu/l.....i/tutorial