TY  - BOOK
AU  - Portoraro,Frederic D.,Tully,R.E
AU  - Tully,Robert E.
TI  - Logic with Symlog: learning symbolic logic by computer 
SN  - 0133276287
AV  - BC135.P6 1994 
U1  - 160/.285/5369 
PY  - 1994///
CY  - Englewood Cliffs, N.J.
PB  - Prentice Hall
KW  - Logic, Symbolic and mathematical
KW  - Study and teaching
N1  - 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
ER  -