| 000 | 00402pam a2200145a 44500 | ||
|---|---|---|---|
| 040 | _aP K Kelkar Library, IIT Kanpur | ||
| 082 |
_a164 _bL492t |
||
| 100 | _aLeblanc, Hugues | ||
| 245 | 1 |
_aTechniques of deductive inference _cHugues Leblanc |
|
| 260 |
_aLondon _bPrentice-Hall International, Inc. _c1966 |
||
| 650 | _aLogic | ||
| 650 | _aSymbolic | ||
| 650 | _aMathematical | ||
| 997 | _aK926 C | ||
| 999 |
_c390962 _d390962 |
||