01014nam a22001457a 4500 8433511017 160 / D144L / CG Dallas Chiara Scabia, Maria Luisa Lógica Barcelona: Editorial Labor, S.A; 1979 178 Paginas: 20 cm.; 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. Lógica BK 2235 2235 0 0 0 0 01 01 2016-11-08 ANEXO 0 160 / D144L / CG 11001240 2016-11-08 00:00:00 2016-11-08 BK