| 000 | 00382nam a2200133Ia 4500 | ||
|---|---|---|---|
| 001 | 78014 | ||
| 008 | 170722s9999 xx 000 0 und d | ||
| 100 | _aChang, Chin-lidng | ||
| 245 | _aSymbolic logic and mechanical theorem proving / | ||
| 260 | _c1973. | ||
| 490 | _aComputer science and applied mathematics,A series of monogra | ||
| 700 | _aLee, Richard Char-tung | ||
| 942 | _cGEN | ||
| 999 |
_c86972 _d86972 |
||