First Order Mathematical Logic

Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." Mathematical Reviews. Exercises. Bibliography.

Introduction
Rules of Inference
Set Theory
Axiomatic Theories
Predicates and Quantifiers
Statement Connectives
The Interpretation of Predicates and Quantifiers
The Predicate Calculus and First Order Theories
The Omission of Parentheses
Substitution of a Term for a Variable
Removing and Inserting Quantifiers
Denials
The Predicate Calculus
Formulation
The Statement Calculus
The Deudction Theorem
The Completeness Theorem for the Statement Calculus
Applications of the Completeness Theorem for the Statement Calculus
Quantifiers
Equivalence and Replacement
Theorem Schemes
Normal Forms
Equality
First Order Theories
Definition and Examples
Deduction
Number Theory
Consistency and Completeness
Truth
The Completeness Theorem
Independence
Completeness and Categoricity
Decidability
Gödel's Theorem Notes
References
Addendum
Index of Symbols
Subject index
Table of Contents provided by Publisher. All Rights Reserved.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

First Order Mathematical Logic

Summary

Table of Contents

Supplemental Materials

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

First Order Mathematical Logic

Summary

Table of Contents

Supplemental Materials

Digital License