Book contents
- Frontmatter
- Contents
- Preface
- How to read this book
- 1 König's Lemma
- 2 Posets and maximal elements
- 3 Formal systems
- 4 Deductions in posets
- 5 Boolean algebras
- 6 Propositional logic
- 7 Valuations
- 8 Filters and ideals
- 9 First-order logic
- 10 Completeness and compactness
- 11 Model theory
- 12 Nonstandard analysis
- References
- Index
5 - Boolean algebras
Published online by Cambridge University Press: 28 January 2010
- Frontmatter
- Contents
- Preface
- How to read this book
- 1 König's Lemma
- 2 Posets and maximal elements
- 3 Formal systems
- 4 Deductions in posets
- 5 Boolean algebras
- 6 Propositional logic
- 7 Valuations
- 8 Filters and ideals
- 9 First-order logic
- 10 Completeness and compactness
- 11 Model theory
- 12 Nonstandard analysis
- References
- Index
Summary
- Type
- Chapter
- Information
- The Mathematics of LogicA Guide to Completeness Theorems and their Applications, pp. 55 - 63Publisher: Cambridge University PressPrint publication year: 2007