000 | 00525n a2200169ua 4500 | ||
---|---|---|---|
040 | _aIIT, Kanpur | ||
082 |
_a164 _bK125l |
||
100 | _aKalish, Donald | ||
245 | 0 |
_aLogic techniques of formal reasoning _cDonald Kalish and Richard Montague |
|
260 |
_aNew York _bHarcourt, Brace & World _c1964 |
||
300 | _ax, 350p. | ||
500 | _aIncludes Bibliographical Reference And Index | ||
650 | _aLogic | ||
700 | _aMontague, Richard | ||
700 | _a | ||
997 | _aA35576 cop.29 C A35572 cop.25 C | ||
999 |
_c461497 _d461497 |