Portoraro, Frederic D
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | Logic with Symlog : learning symbolic logic by computer / Frederic D. Portoraro, Robert E. Tully. |
개인저자 | Portoraro, Frederic D. Tully, Robert E. |
발행사항 | Englewood Cliffs, N.J. : Prentice Hall, c1994. |
형태사항 | xiv, 561 p. : ill. ; 25 cm. + 1 computer disk (3 1/2 in.) |
ISBN | 0133276287 |
일반주기 |
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. |
주제명 (통일서명) | Symlog. |
일반주제명 | Logic, Symbolic and mathematical -- Study and teaching. |
분류기호 | 170.73 |
언어 | 영어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가