The mathematics of logic : a guide to completeness theorems and their applications /
This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
2007.
|
Subjects: | |
Online Access: | CONNECT |
Table of Contents:
- Cover; Half-Title; Title; Copyright; 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.