Skip to content

Introduction to Mathematical Logic and Type Theory To Truth Through Proof

Spend $50 to get a free DVD!

ISBN-10: 1402007639

ISBN-13: 9781402007637

Edition: 2nd 2002 (Revised)

Authors: Peter B. Andrews

Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical…    
Customers also bought

Book details

Edition: 2nd
Copyright year: 2002
Publisher: Springer
Publication date: 7/31/2002
Binding: Hardcover
Pages: 390
Size: 6.50" wide x 9.50" long x 1.00" tall
Weight: 1.738
Language: English

Preface to the Second Edition
Propositional Calculus
The Language of P
Supplement on Induction
The Axiomatic Structure of P
Semantics, Consistency, and Completeness of P
Propositional Connectives
Ground Resolution
First-Order Logic
The Language of F
The Axiomatic Structure of F
Prenex Normal Form
Semantics of F
Abstract Consistency and Completeness
Supplement: Simplified Completeness Proof
Provability and Refutability
Natural Deduction
Gentzen's Theorem
Semantic Tableaux
Refutations of Universal Sentences
Herbrand's Theorem
Further Topics in First-Order Logic
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
Recursive Functions
Primitive Recursive Functions and Relations
Incompleteness and Undecidability
Godel Numbering
Godel's Incompleteness Theorems
Essential Incompleteness
Undecidability and Undefinability
Supplementary Exercises
Summary of Theorems
List of Figures