Catalog

Record Details

Catalog Search



An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews.

Book Book (2002.)
Description: xviii, 390 pages : illustrations ; 25 cm.
Publisher: Dordrecht ; Kluwer Academic Publishers, 2002.
1 of 1 copy available at NOBLE (All Libraries).
1 of 1 copy available at Gordon College. (Show all copies)
0 current holds with 1 total copy.
Library Location Call Number Status Due Date
Gordon College Stack Level 5 QA 9 .A638 2002 (Text to Phone) Available -

  • ISBN: 1402007639
  • ISBN: 9781402007637
  • Edition: 2nd ed.
Bibliography, etc.: Includes bibliographical references (pages 371-380) and index.
Contents: Propositional Calculus -- The Language of P -- Supplement on Induction -- The Axiomatic Structure of P -- Semantics, Consistency, and Completeness of P -- Independence -- Propositional Connectives -- Compactness -- Ground Resolution -- First-Order Logic -- The Language of F -- The Axiomatic Structure of F -- Prenex Normal Form -- Semantics of F -- Independence -- Abstract Consistency and Completeness -- Supplement: Simplified Completeness Proof -- Equality -- Provability and Refutability -- Natural Deduction -- Gentzen's Theorem -- Semantic Tableaux -- Skolemization -- Refutations of Universal Sentences -- Herbrand's Theorem -- Unification -- Further Topics in First-Order Logic -- Duality -- Craig's Interpolation Theorem -- Beth's Definability Theorem -- Type Theory -- The Primitive Basis of Q[subscript 0] -- Elementary Logic in Q[subscript 0] -- Equality and Descriptions -- Semantics of Q[subscript 0] -- Completeness of Q[subscript 0] -- Formalized Number Theory -- Cardinal Numbers and the Axiom of Infinity -- Peano's Postulates -- Order -- Minimization -- Recursive Functions -- Primitive Recursive Functions and Relations -- Incompleteness and Undecidability -- Godel Numbering -- Godel's Incompleteness Theorems -- Essential Incompleteness -- Undecidability and Undefinability.
Summary: "This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--Jacket.

Citation:

Andrews, P B. "An introduction to mathematical logic and type theory : to truth through proof." Dordrecht ; Kluwer Academic Publishers, 2002.

Additional Resources