Mathematical logic
Joseph R. Shoenfield.
Reading, Mass. : Addison-Wesley, ©1967.
vii, 344 págs. ; 25 cm.
Serie: Addison-Wesley series in logic
Reseña: MathSciNet, 37 #1224
Capítulos
- 1. The nature of mathematical logic
- 2. First-order theories
- 3. Theorems in first-order theories
- 4. The characterization problem
- 5. The theory of models
- 6. Incompleteness and undecidability
- 7. Recursion theory
- 8. The natural numbers
- 9. Set theory
- Appendix: The word problem.