Software Developed by symboliclogic.sourceforge.net

Symbolic Logic Exploration  v.3

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Newest Reviews