Logic: techniques of formal reasoning / [by] Donald Kalish [and] Richard Montague.
Material type: TextPublication details: New York, Harcourt, Brace & World [1964]Description: x, 350 p. 24 cmISBN: 0155511807 (hbk); 9780155511804 (hbk)Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3 Summary: Logic: Techniques of Formal Reasoning 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 library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 511.3 KAL-L 1964 11006 (Browse shelf (Opens below)) | 1 | Available | 0011006 |
Browsing Namal Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 GOD-I 2010 8161 Introducing the theory of computation / | 511.3 GOD-I 2010 9831 Introducing the theory of computation / | 511.3 GRE-F 2012 1175 Formal languages and compilation / | 511.3 KAL-L 1964 11006 Logic: techniques of formal reasoning / | 511.3 KEE-P 2000 11995 Principles of applied mathematics : transformation and approximation / | 511.3 KHO-A 2010 6107 Automata theory and its applications / | 511.3 KOH-S 2013 3740 Switching and finite automata theory / |
Bibliography: p. [341]-345.
Logic: Techniques of Formal Reasoning 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 on this title.