000			01014nam a22001457a 4500
020			_a8433511017
082			_a160 / _bD144L / CG
100			_aDallas Chiara Scabia, Maria Luisa
245			_aLógica
260			_aBarcelona: _bEditorial Labor, S.A; _c1979
300			_a178 Paginas: _b20 cm.;
520			_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.
650			_aLógica
942			_cBK
999			_c2235 _d2235