The mathematics of logic : a guide to completeness theorems and their applications /

Afficher d'autres versions (1)

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Kaye, Richard (Richard W.)
Format: Électronique eBook
Langue:Inglés
Publié: Cambridge : Cambridge University Press, 2007.
Sujets:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Mathematische Logik
Accès en ligne:Texto completo
Table des matières:
  • 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.

Documents similaires