| 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 |
||