TY  - BOOK
AU  - Dallas Chiara Scabia, Maria Luisa
TI  - Lógica
SN  - 8433511017
U1  - 160 / 
PY  - 1979///
CY  - Barcelona
PB  - Editorial Labor, S.A
KW  - Lógica
N2  - La lógica griega.-- La lógica medieval.-- Leibniz y la lógica matemática moderna.-- La lógica, hoy.-- Teoría de la demostración.-- Preliminares.-- Las lógicas fundamentales.-- Teoría de los sistemas formales.-- Propiedades importantes de los sistemas formales.-- Los teoremas limitativos.-- Demostraciones de coherencia.-- Teoría extensional del significado.-- Fundamentación por Frege de la teoría del significado.-- Teorías de la intensión y lógicas especiales.-- La semántica de Kripke.--  Las lógicas modales.-- El problema de los fundamentos de la matemática.-- Matemática y lógica.-- Lógica y ciencia empírica.-- Unidad o pluralidad de lógica
ER  -