000 01051 a2200217 4500
001 37652
005 20260407155643.0
008 260407a1966 arg spa d
003 AR-UNSa-BCEJYS
040 _aAR-UNSa-BCEJYS
_bspa
_cAR-UNSa-BCEJYS
080 _a510.6
_xLógica matemática
245 1 0 _aIntroducción a la lógica simbolica
264 1 _aMéxico :
_bCECSA (Compañia Editorial Continental)
_c1966
300 _a378 p.
_c23 cm.
505 _a1. 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
041 _aspa
942 _cBK
590 _aniveau_biblio:m niveau_hierar:0
100 1 _aSuppes, Patrick
700 1 _aAguirre Carrasco, Gabriel
999 _c2780
_d2780