Direct sale

Metamatemática - Paul Lorenzen


Condition of the lot: Normal (with signs of use)
Normal

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

.........

avatar LIBRERIAPAQUEBOTE
From 18/12/2013
Spain (Asturias)
Seller registered as a professional.

See more lots about Paul Lorenzen

See more lots about Metamatemática