|
|
|
|
| LEADER |
01051 a2200217 4500 |
| 001 |
37652 |
| 005 |
20260407155643.0 |
| 008 |
260407a1966 arg spa d |
| 003 |
AR-UNSa-BCEJYS |
| 040 |
|
|
|a AR-UNSa-BCEJYS
|b spa
|c AR-UNSa-BCEJYS
|
| 080 |
|
|
|a 510.6
|x Lógica matemática
|
| 245 |
1 |
0 |
|a Introducción a la lógica simbolica
|
| 264 |
|
1 |
|a México :
|b CECSA (Compañia Editorial Continental)
|c 1966
|
| 300 |
|
|
|a 378 p.
|c 23 cm.
|
| 505 |
|
|
|a 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
|
| 041 |
|
|
|a spa
|
| 942 |
|
|
|c BK
|
| 590 |
|
|
|a niveau_biblio:m niveau_hierar:0
|
| 100 |
1 |
|
|a Suppes, Patrick
|
| 700 |
1 |
|
|a Aguirre Carrasco, Gabriel
|
| 999 |
|
|
|c 2780
|d 2780
|