Symbolic Logic Exploration
Description
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.
Update Notifications
User Reviews
Be the first to post a review of Symbolic Logic Exploration!