TY  - BOOK
AU  - Bocheński,Józef Maria
AU  - Fernández González,Rodolfo
TI  - Compendio de lógica matemática
T2  - Lógica y teoría de la ciencia
SN  - 8428307482
U1  - 511.3 23
PY  - 1982///
CY  - Madrid
PB  - Paraninfo
KW  - Lógica matemática
KW  - LEMB
N1  - I. Principios generales. -- 0. Introducción. -- Noción e historia. -- La lógica y la matemática. -- Aplicaciones. -- 1. Expresiones y operaciones fundamentales. -- Expresión constante, variable. -- Situación, categoría sintáctica. -- Enunciado, nombre, funtor. -- Clasificación de las variables y de los funtores. -- 2. Reglas de escritura. -- II. La lógica de enunciados. -- 3. Funtores veritativos. -- 4. Evaluación. -- 5. Equivalencias. -- 6. Primeros principios e implicaciones. -- 7. Sistema axiomático. -- 8. Un sistema de las reglas de deducción. -- III. La lógica de predicados y de clases. -- La lógica de términos. -- La lógica de predicados. -- La lógica de clases. -- IV. La lógica de relaciones. -- Descripciones relativas. -- Dominios y campos. -- Productivo relativo. -- Producto relativo. -- Relaciones poliádicas. -- V. Temas complementarias. -- Forma normal o canónica. -- Lógica modal. -- Lógica polivalente. -- Las categorías sintácticas
ER  -