Introduction to Mathematical LogicCRC Press, 2015 M05 21 - 513 páginas The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosse |
Contenido
1 | |
FirstOrder Logic and Model Theory | 45 |
Formal Number Theory | 153 |
Axiomatic Set Theory | 231 |
Computability | 311 |
SecondOrder Logic | 379 |
First Steps in Modal Propositional Logic | 395 |
A Consistency Proof for Formal Number Theory | 407 |
Answers to Selected Exercises | 419 |
Bibliography | 451 |
467 | |
Back Cover | 474 |
Otras ediciones - Ver todas
Introduction to Mathematical Logic, Sixth Edition Elliott Mendelson Sin vista previa disponible - 2015 |
Términos y frases comunes
A₁ apply Assume axiom of choice axiom schema axiomatic b₁ cardinal numbers closed wf computation consistent contradicting Corollary deduction theorem defined definition denote denumerable domain element equinumerous example Exercise false finite number formulas free variables function letters Gödel number Gödel's completeness theorem Hence individual constants inductive hypothesis k₁ K₂ Kripke frame Lemma logically valid M₁ M₂ mathematical natural numbers nonempty normal algorithm normal model obtain occurrences one-one ordinal partial recursive function positive integer predicate calculus predicate letter prenex normal form primitive recursive primitive recursive function proof proof-tree Proposition provable Prove quantifiers R₁ real numbers recursive or recursive recursively undecidable relation replace rule A4 satisfies sentence sequence Show statement form statement letters subset symbols t₁ tautology theory with equality tion transfinite induction true truth table truth values Turing machine u₁ w₁ x₁ y₁