Portoraro, Frederic D., Tully, R. E <br/><br/>
Logic with Symlog :  learning symbolic logic by computer / 
Frederic D. Portoraro, Robert E. Tully. 
 - Englewood Cliffs, N.J. :  Prentice Hall,  c1994. 
 - xiv, 561 p. :  ill. ; 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>0133276287 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Study and teaching.
<br/><br/><label>LC Class. No.: </label>BC135.P6 1994 
<br/><br/><label>Dewey Class. No.: </label>160/.285/5369