Logic with Symlog : learning symbolic logic by computer - Portoraro, Frederic D., Tully, R. E; Tully, Robert E. (Englewood Cliffs, N.J. : Prentice Hall, 1994)
System requirements for computer disk: IBM-compatible PC; 256K RAM (425K required for Proof Advisor); DOS 3.0 or higher; floppy disk drive; hard drive strongly recommended.
Keywords: Logic, Symbolic and mathematical -- Study and teaching