Introducción a la lógica y a la metodología de las ciencias deductivas /
Tarski, Alfred, 1902-1983
Introducción a la lógica y a la metodología de las ciencias deductivas / Alfred Tarski. - 2a ed. - Madrid : Espasa-Calpe, 1968 - 285 p.
Pte.1. Elementos de lógica y método deductivo: 1. Sobre el uso de variables -- 2. Sobre el cálculo proposicional -- 3. Sobre la teoría de la identidad -- 4. Sobre la teoría de clases -- 5. Sobre la teoría de relaciones -- 6. Sobre el método deductivo -- Pte.2. Aplicaciones de la lógica y de la metodología a la construcción de teorías matemáticas: 7. Construcción de una teoría matemática, leyes sobre la ordenación de los números -- 8. Leyes sobre la adición y sustracción -- 9. Consideraciones metodológicas sobre la teoría construída -- 10. Extensión de la teoría construída, fundamentos de la aritmética de los números reales -- Guía bibliográfica.
LOGICA SIMBOLICA Y MATEMATICA
511.3
Introducción a la lógica y a la metodología de las ciencias deductivas / Alfred Tarski. - 2a ed. - Madrid : Espasa-Calpe, 1968 - 285 p.
Pte.1. Elementos de lógica y método deductivo: 1. Sobre el uso de variables -- 2. Sobre el cálculo proposicional -- 3. Sobre la teoría de la identidad -- 4. Sobre la teoría de clases -- 5. Sobre la teoría de relaciones -- 6. Sobre el método deductivo -- Pte.2. Aplicaciones de la lógica y de la metodología a la construcción de teorías matemáticas: 7. Construcción de una teoría matemática, leyes sobre la ordenación de los números -- 8. Leyes sobre la adición y sustracción -- 9. Consideraciones metodológicas sobre la teoría construída -- 10. Extensión de la teoría construída, fundamentos de la aritmética de los números reales -- Guía bibliográfica.
LOGICA SIMBOLICA Y MATEMATICA
511.3