Chapter
Publicly Available
Frontmatter
-
Daniel Cunningham
Chapters in this book
- 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
Chapters in this book
- 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
