Logica
Quine Equivalence Editor Stickel Clausal Form Converter Wegman Unifier	Babbage Truth Table Generator Boole Truth Table Comparator Clarke Logic Grid Editor Russell Constraint Satisfier Herbrand Sentence Analyzer	Hilbert Hilbert-style Proof Editor Fitch Fitch-style Proof Editor Robinson Resolution Proof Editor