The Mathematics of Logic:A Guide to Completeness Theorems and their Applications '07
Kaye, Richard. 著
内容
目次
Preface; How to read this book; 1. Konig's lemma; 2. Posets and maximalelements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6.Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-orderlogic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandardanalysis; Bibliography; Index.
