Präsentiert durch Paradigm Publishing Services
Princeton University Press
Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Chapter 1. Algebra of Classes and Propositional Calculus
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Frontmatter i
- Contents vii
- Preface ix
- Chapter 1. Algebra of Classes and Propositional Calculus 1
- Chapter 2. The Theory of Relatives 31
- Chapter 3. Changing the Order of Quantifiers 73
- Chapter 4. The Löwenheim Normal Form 107
- Chapter 5. Preliminaries to Löwenheim’s Theorem 129
- Chapter 6. Löwenheim’s Theorem 143
- Appendix. First-Order Logic with Fleeing Indices 207
- References 227
- Index 237
Kapitel in diesem Buch
- Frontmatter i
- Contents vii
- Preface ix
- Chapter 1. Algebra of Classes and Propositional Calculus 1
- Chapter 2. The Theory of Relatives 31
- Chapter 3. Changing the Order of Quantifiers 73
- Chapter 4. The Löwenheim Normal Form 107
- Chapter 5. Preliminaries to Löwenheim’s Theorem 129
- Chapter 6. Löwenheim’s Theorem 143
- Appendix. First-Order Logic with Fleeing Indices 207
- References 227
- Index 237