TY  - BOOK
AU  - Suppes, Patrick
TI  - Introducción a la lógica simbólica
PY  - 1966///
CY  - México, D. F.
PB  - Continental
KW  - Tesauro SPINES
KW  - LÓGICA MATEMÁTICA
KW  - TEORÍA DE CONJUNTOS
KW  - AXIOMAS
N1  - La obra está organizada en dos partes: I) Principios de inferencia y definición; II) Teoría elemental intuitiva de los conjuntos.; Índice alfabético p. 373-378. 

; Los conectivos oracionales.; Teoría oracional de la inferencia.; Representación simbólica del lenguaje cotidiano.; Teoría general de la inferencia.; Otras reglas de inferencia.; Apostilla sobre el uso y la mención.; Transición de las demostraciones formales a las informales.; Teoría de la definición.; Conjuntos.; Relaciones.; Funciones.; Fundamentación sinforemática del método axiomático.
ER  -