Colin Allen, Michael Hand

Logic Primer, third edition

• Broschiertes Buch

Produktbeschreibung

"A comprehensive and rigorous textbook introduction to modern symbolic logic that provides a modular approach to formal deduction from the basic sentential logic through first-order predicate calculus"--

Produktdetails

• Verlag: MIT Press Ltd
• Seitenzahl: 184
• Erscheinungstermin: 15. Februar 2022
• Englisch
• Abmessung: 178mm x 228mm x 13mm
• Gewicht: 290g
• ISBN-13: 9780262543644
• ISBN-10: 0262543648
• Artikelnr.: 62846401

Autorenporträt

Colin Allen and Michael Hand

Inhaltsangabe

Preface ix
Acknowledgments xvii
1 Sentential Logic: Basic Concepts and a Formal Language 1 
2 Sentential Logic: Proofs 17
3 Sentential Logic: Truth Tables 37
4 Predicate Logic: Formal Language 51
5 Predicate Logic: Proofs 65
6 Predicate Logic: Models 77
7 Predicate Logic with Identity 91
A Appendix: Answers to Selected Exercises 101