Logic : techniques of formal reasoning
By: Kalish, Donald.
Contributor(s): Montague, Richard.
Publisher: New York Harcourt 1964Description: viii, 350p.Subject(s): Logic, Symbolic and mathematical | LogicDDC classification: 164 | K125l Summary: Logic: 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.Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 164 K125l (Browse shelf) | Available | A35627 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
164 K125l Logic | 164 K125l Logic | 164 K125l Logic | 164 K125l Logic | 164 K355I INFORMAL LOGIC | 164 K643I AN INTRODUCTION TO ALGEBRAIC LOGIC | 164 K886E Elements of formal logic |
Logic: 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.
There are no comments for this item.