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

Mostrar otras versiones (1)

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kaye, Richard (Richard W.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2007.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Mathematische Logik
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares