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

Show other versions (1)

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

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Kaye, Richard (Richard W.)
Format: Electronic eBook
Language:Inglés
Published: Cambridge : Cambridge University Press, 2007.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Mathematische Logik
Online Access:Texto completo
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.

Similar Items