|
|
|
|
| LEADER |
01377nam a22002894i 4500 |
| 001 |
289 |
| 003 |
AR-VdUNRN |
| 005 |
20240731133442.0 |
| 007 |
ta |
| 008 |
240731s1991 sp ad s|||||||||1 ||spa|| |
| 020 |
|
|
|a 8430919929
|
| 040 |
|
|
|c WAA
|a WAA
|
| 041 |
|
|
|a spa
|
| 100 |
1 |
|
|a Garrido, Manuel
|9 4661
|e aut.
|
| 245 |
1 |
0 |
|a Lógica simbólica
|c / Manuel Garrido
|
| 250 |
|
|
|a 2a ed.
|
| 260 |
3 |
0 |
|a Madrid :
|b Tecnos,
|c 1991
|
| 300 |
|
|
|a 441 p. :
|b il., gráfs. ;
|c 22 cm.
|
| 490 |
|
|
|a Filosofía y ensayo
|
| 505 |
0 |
|
|a La lógica simbólica -- Hacia una formalización del lenguaje -- Lenguaje formal -- Deducción -- Reglas básicas del cálculo de juntores -- Reglas derivadas del cálculo de juntores -- Reglas del cálculo de cuantores -- Silogística -- Leyes de distribución -- Cuantificación múltiple. Identidad y descripciones -- Modelos -- Tautologías -- Tablas semánticas -- Sistemas axiomáticos de lógica -- Metalógica.
|
| 650 |
|
7 |
|a Lógica
|9 1336
|2 unescot
|
| 650 |
|
7 |
|a Lógica matemática
|9 863
|2 unescot
|
| 650 |
|
7 |
|a Matemáticas
|9 297
|2 unescot
|
| 942 |
|
|
|2 CDU
|c LIBRO
|
| 999 |
|
|
|c 289
|d 289
|
| 952 |
|
|
|0 0
|1 0
|2 CDU
|4 0
|6 164_000000000000000_G1931
|7 0
|9 1296
|a 09
|b 09
|d 2017-11-27
|o 164 G1931
|p 10-00812
|r 2017-11-27
|w 2017-11-27
|y LIBRO
|
| 952 |
|
|
|0 0
|1 0
|2 CDU
|4 0
|6 164_000000000000000_G1931
|7 0
|9 1297
|a 09
|b 09
|d 2017-11-27
|o 164 G1931
|p 10-00813
|r 2017-11-27
|w 2017-11-27
|y LIBRO
|