000 | 01116n a2200217ua 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20221012172934.0 | ||
008 | 221012b xxu||||| |||| 00| 0 eng d | ||
040 | _cIIT Kanpur | ||
041 | _aeng | ||
082 |
_a164 _bK125l |
||
100 | _aKalish, Donald | ||
245 | 0 |
_aLogic _btechniques of formal reasoning _cDonald Kalish and Richard Montague |
|
260 |
_aNew York _bHarcourt _c1964 |
||
300 | _aviii, 350p | ||
520 | _aLogic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered. | ||
650 | _aLogic, Symbolic and mathematical | ||
650 | _aLogic | ||
700 | _aMontague, Richard | ||
942 | _cBK | ||
999 |
_c461658 _d461658 |