Metamatemática - Paul Lorenzen

TÍTULO: Metamatemática

AUTOR: Paul Lorenzen

EDITORIAL: Tecnos

AÑO DE EDICIÓN: 1971

PÁGINAS: 210

FORMATO: Rústica, 21 x 14 cm.

• 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.

II...

.........