. . . . . . . . . . . . . . . . . . . . . Logic Toolbox
. . . . . . . . . . . . . . . This material is provided with the
hope that it may be useful to students
- but WITHOUT ANY WARRANTY - even an
implied warranty of its fitness for
a particular purpose.
Getting started:
Following is a partial list of topics covered by each application:


Categorical Proposition Propositional Logic Formal Proofs
Categorical Logic


Propositional Logic


Formal Proofs


Notes on Logic by Lee Archie
Update:7/12/13
Please send questions, feedback, suggestions, and bug reports to:
john.saetti@gmail.com
Copyright ©2007 by John Saetti - ALL RIGHTS RESERVED