Metamatemática

• Estado: Aceptable. Cubierta sobada. El texto presenta algunos subrayados. Traducción de la 2ª edición alemana por Jacobo Muñoz.

SUMARIO:
INDICE DE SÍMBOLOS.
INTRODUCCIÓN

1. FORMALIZACIÓN DE LA LÓGICA
§ 1. Lógica clásica de yuntores.
§ 2. Lógica constructiva de yuntores y cuantificadores.
§ 3. Lógica clásica de cuantificadores.
§ 4. Lógica de la igualdad.

II. FORMALIZACIÓN DE LA ARITMÉTICA
§ 5. Aritmética constructiva y axiomática.
§ 6. Formalización de la aritmética clásica.
§ 7. Consistencia de la aritmética clásica.

III. ARITMETIZACIÓN DE LOS FORMALISMOS.
§ 8. Formalismos completos.
§ 9. Decibilidad.
§ 10. Expresabilidad aritmética.
§ 11. Representabilidad aritmética.
§ 12. Indecibilidad e incompletitud.

IV. DECIBILIDAD DE LAS TEORÍAS AXIOMÁTICAS .
§ 13. Teorías axiomáticas .
§ 14. Teorías axiomáticas indecidibles . .
§ 15. Teorías axiomáticas completas.

BIBLIOGRAFÍA.
INDICE DE NOMBRES.
INDICE DE MATERIAS.