Definition Proof Theory Sample Derivations Formulations Automated Deduction

Sequent Calculus Primer ---------------

Mathematics Foundations Logical Laws

*** Note that the browser has to support numeric character references in order for logical symbols on this page to show correctly. Some older browsers may not have this feature. ***

References

Gentzen, G. The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.
Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

 

Need to relax? Try brain teasers. I would recommend those marked 'cool'.