000			01576nam a2200289Ia 4500
001			2134
008			140707s2009 sp 00 0 spa d
020			_a9788498494754
040			_aPUCESD _bspa _erda
082	0	4	_a510 _bG1372 2009
090			_aPlanta Baja
100	1		_aGallinari Biraghi, Alessandra.
245	1	0	_aApuntes y problemas de lógica matemática / _cAlessandra Gallinari Biraghi
250			_a1ª Ed., 1ª reimp.
264		1	_aEspaña : _bDykinson , _c2009
300			_a274 páginas : _bgráficas ; _c24 cm.
336			_atxt
337			_an
338			_anc
500			_aFactura Educativa
505	0		_aIntroducción -- Algunas nociones de teoría de conjuntos, relaciones y funciones -- Lógica de proposiciones -- Sintaxis de la lógica proposicional -- Semántica de la lógica proposicional. Teoría interpretativa -- Teoría de la demostración y sistema de educación natural de Gentzen -- Problemas de repaso sobre lógica proposicional resueltos -- Lógica de predicados de primer orden -- Sintaxis de la lógica de primer orden -- Semántica de la lógica de primer orden. Teoría interpretativa -- Teoría de la demostración y sistema de deducción natural de Gentzen -- Problemas de repaso resueltos -- El sistema de Kleene.
526			_aAdministración de Empresas, Contabilidad y Auditoría, Arquitectura, Ingeniería Civil, Sistemas de la Información, Educación Básica
590			_aNR
650	0	4	_aMATEMATICAS PURAS
650	0	4	_aCALCULO PROPOSICIONAL Y PREDICADOS
942	0	0	_00 _cBK
999			_c201396 _d201396