4 ms·
A very nice interactive introduction to the sequent calculus is here: http://logitext.mit.edu/tutorial http://logitext.mit.edu/tutorial
by asdfafsadfasdf 7y ago
A very nice interactive introduction to the sequent calculus is here: http://logitext.mit.edu/tutorial http://logitext.mit.edu/tutorial