000			01447nam a22003374a 4500
003			AR-GuUCG
005			20230306144816.0
008			230306b 2006 sp||||fr|||| 00| 0 spa d
020			_a84-206-4570-2
040			_aAR-GuUCG _cAR-GuUCG
041			_aspa
080			_a160 _bM 3
100	1		_92129 _aManzano, María
245	1		_aLógica para principiantes / _cMaría Manzano, Antonia Huertas.
250			_a1a ed. 2a reimpr.
260			_aMadrid : _bAlianza, _c2006.
300			_a422 p. ; _c24 cm.
505	2	0	_tI. Lógica proporcional
505	2		_a1. Introducción general. -- 2. El lenguaje de la lógica proporcional. -- 3. Semántica. -- 4. Tableaux semánticos. -- 5. Otros cálculos proporcionales.
505	2	0	_tII. Conjunto y diagramas
505	2		_a6. Teoría básica de conjuntos. -- 7. Diagramas de Venn. -- 8. Relaciones y funciones.
505	2	0	_tIII. Lógica de primer orden
505	2		_a9. El lenguaje de la lógica de primer orden. -- 10. Semántica. -- 11. Tableaux para lógica de primer orden. -- 12. Otros cálculos de primer orden.
505	2	0	_tIV. Apéndices:
505	2		_aA. Fundamentos de la Lógica en el siglo XX. -- B. Glosario e Índice alfabético. -- C. Metateoremas semánticos. -- D. Corrección y completud. -- Bibliografía.
650		4	_9441 _aLOGICA
650		4	_92119 _aLENGUAJE
700	1		_92130 _aHuertas, Antonia _ecoautora
942			_cLIB
999			_c1141 _d1141