Logic with Symlog
Subtitle: learning symbolic logic by computer
By: Frederic D. Portoraro, Robert E. Tully.
Contributors: Tully, Robert E.
Publisher: Prentice Hall
Published: 1994
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 561
Subjects: Symlog.; Logic, Symbolic and mathematical -- Study and teaching.
Notes: Includes bibliographical references (p. 547-549) and indexes.
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.