Logic with Symlog : learning symbolic logic by computer /
Portoraro, Frederic D.
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. ; 25 cm. + 1 computer disk (3 1/2 in.)
Includes bibliographical references (p. 547-549) and indexes.
9780133276282
Logic, Symbolic and mathematical---- Study and teaching.
BC135 / .P69 1994
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. ; 25 cm. + 1 computer disk (3 1/2 in.)
Includes bibliographical references (p. 547-549) and indexes.
9780133276282
Logic, Symbolic and mathematical---- Study and teaching.
BC135 / .P69 1994