LOGIC. TECHNIQUES OF FORMAL REASONING. DONALD KALISH, RICHARD MONTAGUE. NEW YORK (U. A.): HARCOURT, BRACE AND WORLD 1964. VIII, 350 S.: ILL

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. Read more... Abstract: 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