TY  - BOOK
AU  - Tarski,Alfred
TI  - Introducción a la lógica y a la metodología de las ciencias deductivas
U1  - 511.3 
PY  - 1968///
CY  - Madrid
PB  - Espasa-Calpe
KW  - LOGICA SIMBOLICA Y MATEMATICA
N1  - 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
ER  -