00993nam a22001217a 4500020001500000082002200015100003800037245001300075260004400088300002600132520070000158650001300858  a8433511017  a160 /bD144L / CG  aDallas Chiara Scabia, Maria Luisa  aLógica  aBarcelona:bEditorial Labor, S.A;c1979  a178 Paginas:b20 cm.;  aLa 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.  aLógica