000			02755nam a22005774a 4500
001			CUUTN000001
003			AR-CuUTN
005			20240705192412.0
007			ta
008			240704s1981 sp ddddf 001 0 spa d
020			_a8428311013
040			_aAR-CuUTN _bspa _cAR-CuUTN _eaacr2 _eisbd
041	1		_heng _aspa
080	1		_a510.6 _22000
100	1		_aHamilton, A. G _d1943- _eautor _94027
245	1	0	_aLógica para matemáticos / _cA. G. Hamilton.
260			_aMadrid, España : _bParaninfo, _c1981.
300			_a243 p. _bgráf. _c22 cm.
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
490	0		_aLógica y teoría de la ciencia
500			_aTítulo original en inglés: Logic for mathematicians.
500			_aTraducido por Mario Rodríguez Artalejo.
500			_aÍndice: p. 5 a 6.
500			_aGlosario de símbolos: p. 236 a 239.
500			_aÍndice alfabético de materias: p. 240 a 243.
500			_aIndicaciones y soluciones de ejercicios seleccionados: p. 219.
504			_aBibliografía: p. 235.
505	0		_a1. Cálculo de enunciados informal.
505	0		_a2. Cálculo de enunciados formal.
505	0		_a3. Cálculo de predicados informal.
505	0		_a4. Cálculo de predicados formal.
505	0		_a5. Sistemas matemáticos.
505	0		_a6. El teorema de la incompletitud de Gödel.
505	0		_a7. Computabilidad, insolubilidad, indecidibilidad.
505	0		_aApéndice: Conjuntos numerables y no numerables.
520	3		_aEl material del libro se ha desarrollado partir del presentado en dos cursos separados de dieciséis clases, de tercero y cuarto año de licenciatura. El alcance de este libro es más limitado que el de otras introducciones standard de la materia. En particular, la teoría de modelos y la teoría axiomática de conjuntos sólo se toca de refilón. Por ello, se refiere al lector interesado, a la lista de títulos del final del libro para ulteriores lecturas. Hay ejercicios al final de cada sección. Su propósito es clarificar y consolidar la materia, no extenderla.
521			_aPara quien disponga de una mínima base de matemática, desde el estudiante de primer curso hasta el matemático profesional. Se supone una cierta familiaridad con el álgebra y la teoría de números elementales.
653	1		_aLógica matemática
653	2		_aSistema matemático
653	2		_aGödel, teorema de incompletitud
653	2		_aComputabilidad
653	2		_aInsolubilidad
653	2		_aIndecidibilidad
653	2		_aConjunto numerable
653	2		_aConjunto no numerable
653	2		_aCálculo de enunciados
653	2		_aCálculo de predicados
942			_2udc _cBK
999			_c9839 _d9839