|
|
|
|
| LEADER |
01548nam a2200313a 44500 |
| 001 |
UBP01367 |
| 003 |
AR-CdUBP |
| 005 |
20220310151324.0 |
| 008 |
151212s1991#######|||||||||||||||||spa|d |
| 020 |
|
|
|a 84-309-1992-9
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a spa
|
| 100 |
|
|
|a Garrido, Manuel
|
| 245 |
1 |
0 |
|a Lógica simbólica /
|c Manuel Garrido.
|
| 250 |
|
|
|a 2ª. ed.
|
| 260 |
|
|
|a Madrid :
|b Tecnos,
|c 1991
|
| 300 |
|
|
|a 441 p. ;
|c 21 cm.
|
| 490 |
0 |
|
|a Filosofía y ensayo
|
| 504 |
|
|
|a Incluye referencias bibliográficas.
|
| 505 |
0 |
|
|a Introducción. Capítulo I. La lógica simbólica. Capítulo II. Hacia una formalización del lenguaje. Capítulo III. Lenguaje formal. CALCULO DE JUNTORES (LOGICA DE ENUNCIADOS). Capítulo IV. Deducción. Capítulo V. Reglas básicas del cálculo de juntores. Capítulo VI. Reglas derivadas del cálculo de juntores. CALCULO DE CUANTORES (LOGICA DE PREDICADOS). Capítulo VII. Reglas del cálculo de cuntores. Capítulo VIII. Silogística. Capítulo IX. Leyes de distribución. Capítulo X. Cuantificación múltiple. Identidad y descripciones. Capítulo XI. Modelos. Capítulo XII. Tautologías. Capítulo XII. Tablas semánticas. AXIOMATIZACION DE LA LOGICA. Capítulo XIV. Sistemas axiomáticos de lógica. Capítulo XV. Metalógica. Anexos. Computación de la lógica. Prólogo.
|
| 650 |
|
4 |
|a LOGICA SIMBOLICA
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|
| 653 |
|
|
|a LOGICA
|
| 930 |
|
|
|a LOGICA
|
| 931 |
|
|
|a 01367
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 164
|b G193L2
|
| 999 |
|
|
|c 16982
|d 16982
|