| 000 | naa a22 7ar4500 | ||
|---|---|---|---|
| 008 | 060322| d | ||
| 001 | 91503 | ||
| 040 | _aNEU | ||
| 020 | _a0121703509 | ||
| 050 | 0 | 0 | _aQA9 |
| 245 | 1 | 0 |
_a Symbolic logic and mechanical theorem proving / _cChin-Liang Chang, Richard Char-Tung Lee. |
| 260 |
_a San Diego : _bAcademic Press, _c [1987], c1973. |
||
| 300 |
_a331 p. : _b ill. ; _c24 cm. |
||
| 440 | 0 | _aComputer science classics | |
| 504 | _a Includes bibliographical references (p. 309-324) and index. | ||
| 100 |
_9222424 _aChang, Chin-Liang. |
||
| 700 | 1 |
_9222425 _aLee, Richard CharTung, _d1939- |
|
| 650 |
_aLogic Symbolic and mathematical _9374123 |
||
| 942 |
_kQA0000009C4831987 _cBOOK |
||
| 999 | _c77467 | ||