文件名称：Symbolic Logic Exploration-开源
文件大小：173KB
文件格式：ZIP
更新时间：2024-05-18 02:46:13
开源软件
通过清理代码，重新编写代码以符合标准的Pascal定义，并为X和MS Windows开发图形用户界面，现代化了语句和谓词逻辑程序Bertie和Twootie。
【文件预览】：
BERTIE3.PIF
INDEX.TXT
PROBS2.BER
PROBS3.BER
README.TXT
gpl.txt
BERTIE3.EXE
PROBS1.BER
bhelp.txt
PROBS4.BER
RULES.TXT
BCONFIG.BER
QUICKREF.TXT