"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
How to Read This Book xi I Propositional Logic 1 Introduction 3 2 Connectives: and & if 19 3 More Connectives: not & or 35 4 Facts about Proofs & Provability 49 5 Models & Counterexamples 75 6 Soundness & Completeness 91 II Modal Logic 7 Necessity & Possibility 117 8 Actuality & 2D Logic 153 9 Modal Natural Deduction 167 III Predicate Logic 10 Proofs for Predicate Logic 189 11 Models for Predicate Logic 217 12 Coda 245 Glossary 255 References 261 Symbol Index 267 Subject Index 269
How to Read This Book xi I Propositional Logic 1 Introduction 3 2 Connectives: and & if 19 3 More Connectives: not & or 35 4 Facts about Proofs & Provability 49 5 Models & Counterexamples 75 6 Soundness & Completeness 91 II Modal Logic 7 Necessity & Possibility 117 8 Actuality & 2D Logic 153 9 Modal Natural Deduction 167 III Predicate Logic 10 Proofs for Predicate Logic 189 11 Models for Predicate Logic 217 12 Coda 245 Glossary 255 References 261 Symbol Index 267 Subject Index 269
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
