Introducción a la lógica simbolica
Suppes, Patrick
Introducción a la lógica simbolica - 378 p. 23 cm.
1. Los conectivos oracionales - 2. Teoría oracional de la inferencia - 3. Representación simbólica del lenguaje cotidiano - 4. Teoría general de la inferencia - 5. Otras reglas de inferencia - 6. Apostilla sobre el uso y la mención - 7. Transición de las demostraciones formales a las informales - 8. Teoría de la definición - 9. Conjuntos - 10. Relaciones - 11. Funciones - 12. Fundamentación sinforemática del método axiomático
510.6 Lógica matemática
Introducción a la lógica simbolica - 378 p. 23 cm.
1. Los conectivos oracionales - 2. Teoría oracional de la inferencia - 3. Representación simbólica del lenguaje cotidiano - 4. Teoría general de la inferencia - 5. Otras reglas de inferencia - 6. Apostilla sobre el uso y la mención - 7. Transición de las demostraciones formales a las informales - 8. Teoría de la definición - 9. Conjuntos - 10. Relaciones - 11. Funciones - 12. Fundamentación sinforemática del método axiomático
510.6 Lógica matemática