书目详细信息
： LOGIC WITH SYMLOG :
书目信息 机读格式(MARC)
| ISBN： | 0-13-327628-7 |
|---|---|
| 编目源： | DLC DLC DLC |
| 个人名称： | Portoraro, Frederic D. |
| 题名： | Logic with Symlog : learning symbolic logic by computer / Frederic D. Portoraro, Robert E. Tully. |
| 索书号： | O141/P |
| 出版发行项： | Englewood Cliffs, N.J. : Prentice Hall, c1994. |
| 载体形态： | xiv, 561 p. : ill. ; 25 cm. + 1 computer disk (3 1/2 in.) |
| 一般附注： | 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. |
| 书目附注： | Includes bibliographical references (p. 547-549) and indexes. |