A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Authored by
at
, Added: Mar 8, 2004
http://logik.phl.univie.ac.at/~chris/formular-uk.html
