|
|
|
|
| LEADER |
01063nam a2200289a 44500 |
| 001 |
UBP00409 |
| 003 |
AR-CdUBP |
| 005 |
20220310150839.0 |
| 008 |
151212s1957#######|||||||||||||||||spa|d |
| 020 |
|
|
|a 84-309-0509-X
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a spa
|
| 100 |
|
|
|a Mates, Benson
|
| 245 |
1 |
0 |
|a Lógica matemática :
|b elemental /
|c Benson Mates
|
| 260 |
|
|
|a Madrid :
|b Tecnos,
|c 1987
|
| 300 |
|
|
|a 287 p. ;
|c 21 cm.
|
| 490 |
0 |
|
|a Filosofía y ensayo
|
| 504 |
|
|
|a Bibliografía: p. 281-282
|
| 505 |
0 |
|
|a 2. Nuevos preliminares. 3. El lenguaje formalizado L. 4. Interpretaciones y validez universal. 5. Traducción del lenguaje natural al lenguaje formal L. 6. Enunciados tautológicos. 7. Reglas de inferencia para L. 8. Algunos metateoremas. 9. Identidad y términos. 10. Axiomas para L1. 11. Teorías formalizadas. 12. Breve esbozo de la historia de la lógica.
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|
| 653 |
|
|
|a LOGICA
|
| 930 |
|
|
|a LOGICA
|
| 931 |
|
|
|a 00409
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a EBA
|
| 984 |
|
|
|a 164
|b M419
|
| 999 |
|
|
|c 16025
|d 16025
|