Skip to content

Mathematical Introduction to Logic

ISBN-10: 0122384504

ISBN-13: 9780122384509

Edition: N/A

Authors: Herbert B. Enderton

List price: $48.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Buy eBooks
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!

Description:

This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory mathematics course in logic at the junior-senior level. The objectives are to present the important concepts and theorems of logic and to explain their significance and their relationship to the reader's other mathematical work.
Customers also bought

Book details

List price: $48.00
Publisher: Elsevier Science & Technology Books
Publication date: 4/28/1972
Binding: Hardcover
Pages: 295
Size: 6.75" wide x 9.50" long x 0.75" tall
Weight: 1.320
Language: English

Preface
Introduction
Useful Facts about Sets
Sentential Logic
Informal Remarks on Formal Languages
The Language of Sentential Logic
Truth Assignments
A Parsing Algorithm
Induction and Recursion
Sentential Connectives
Switching Circuits
Compactness and Effectiveness
First-Order Logic
Preliminary Remarks
First-Order Languages
Truth and Models
A Parsing Algorithm
A Deductive Calculus
Soundness and Completeness Theorems
Models of Theories
Interpretations Between Theories
Nonstandard Analysis
Undecidability
Number Theory
Natural Numbers with Successor
Other Reducts of Number Theory
A Subtheory of Number Theory
Arithmetization of Syntax
Incompleteness and Undecidability
Recursive Functions
Second Incompleteness Theorem
Representing Exponentiation
Second-Order Logic
Second-Order Languages
Skolem Functions
Many-Sorted Logic
General Structures
Suggestions for Further Reading
List of Symbols
Index