Symbolic Logic Exploration
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.
- Quiet
- Application
- SourceForge
- GNU General Public License version 2.0 (GPLv2)


