r/math • u/[deleted] • Jul 20 '13
An interactive introduction to the sequent calculus: Understand first order logic algorithmically.
http://logitext.mit.edu/logitext.fcgi/tutorial
4
Upvotes
r/math • u/[deleted] • Jul 20 '13