Mathematical logic /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Natick, Mass. :
A.K. Peters,
2001, ©1967.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Chapter 1 The Nature of Mathematical Logic
- chapter 2 First-Order Theories
- chapter 3 Theorems in First-Order Theories
- chapter 4 The Characterization Problem
- chapter 5 The Theory of Models
- chapter 6 1C alcu lab ility
- chapter 7 Recursion Theory
- chapter 8 The Natural Numbers
- chapter 9 Set Theory.