| 000 | 00648pam a2200229a 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240416162912.0 | ||
| 008 | 160408b1973 xxu||||| |||| 00| 0 eng d | ||
| 040 | _cIIT Kanpur | ||
| 041 | _aeng | ||
| 082 |
_a511.3 _bC362 |
||
| 100 | _aChang, Chin-Liang | ||
| 245 | 1 |
_aSymbolic logic and mechanical theorem proving _cChin-Liang Chang and Richard Char-Tung Lee |
|
| 260 |
_aN. Y. _bAcademic Press _c1973 |
||
| 300 | _a331 | ||
| 440 | _aComputer Science And Applied Mathematics | ||
| 500 | _aBibl. : P. 309-324 | ||
| 650 | _aLogic | ||
| 650 | _aSymbolic -- Mathematical | ||
| 700 | _aLee, Richard Char-Tung | ||
| 942 | _cBK | ||
| 999 |
_c292540 _d292540 |
||