Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
4 Soundness and completeness
-
Daniel Cunningham
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Frontmatter I
- Preface V
- Acknowledgments IX
- Contents XI
- 1 Basic set theory and basic logic 1
- 2 Propositional logic 27
- 3 First-order logic 52
- 4 Soundness and completeness 119
- 5 Computability 148
- 6 Undecidability and incompleteness 205
- Bibliography 249
- Symbol Index 251
- Subject Index 253
Kapitel in diesem Buch
- Frontmatter I
- Preface V
- Acknowledgments IX
- Contents XI
- 1 Basic set theory and basic logic 1
- 2 Propositional logic 27
- 3 First-order logic 52
- 4 Soundness and completeness 119
- 5 Computability 148
- 6 Undecidability and incompleteness 205
- Bibliography 249
- Symbol Index 251
- Subject Index 253
