The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

ISBN: 9780521708777 出版年：2007 页码：218 Kaye Cambridge University Press

Preface How to read this book 1. Konig'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 Bibliography Index.