Logica
Babbage Truth Tables Boole Multicolumn Truth Tables Clarke Logic Grids	Quine Equivalence Editor Stickel Clausal Form Converter Wegman Unifier	Hilbert Hilbert-style Proof Editor Fitch Fitch-style Proof Editor Robinson Resolution Proof Editor