Logic of mathematics : a modern course of classical logic /
"Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these impo...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York :
Wiley,
©1997.
|
| Series: | Pure and applied mathematics (John Wiley & Sons : Unnumbered)
|
| Subjects: | |
| Online Access: | CONNECT |
Table of Contents:
- Introduction (starting p. 1)
- 1 Relational Systems (starting p. 9)
- 2 Boolean Algebras (starting p. 13)
- 3 Subsystems and Homomorphisms (starting p. 19)
- 4 Operations on Relational Systems (starting p. 25)
- 5 Terms and Formulas (starting p. 30)
- 6 Theories and Models (starting p. 47)
- 7 Substitution of Terms (starting p. 55)
- 8 Theorems and Proofs (starting p. 62)
- 9 Theorems of the Logical Calculus (starting p. 67)
- 10 Generalization Rule and Elimination of Constants (starting p. 75)
- 11 The Completeness of the Logical Calculus (starting p. 79)
- 12 Definability (starting p. 86)
- 13 Peano Arithmetic (starting p. 94)
- 14 Skolem-Lowenheim Theorems (starting p. 104)
- 15 Ultraproducts (starting p. 111)
- 16 Types of Elements (starting p. 121)
- 17 Supplementary Questions (starting p. 136)
- 18 Defining Functions in N (starting p. 147)
- 19 Total Functions (starting p. 160)
- 20 Incompleteness of Arithmetic (starting p. 169)
- 21 Arithmetical Consistency (starting p. 182)
- 22 Independence of Goodstein's Theorem (starting p. 201)
- 23 Tarski's Theorem (starting p. 223)
- 24 Matiyasevich's Theorem (starting p. 233)
- Guide to Further Reading (starting p. 252)
- References (starting p. 254)
- Index (starting p. 257)
