Mathematical logic /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Reading, Mass. :
Addison-Wesley,
c1967.
|
| Series: | Addison-Wesley series in logic
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.