000			01967nam a22003377i 4500
001			AZUAY-87615
003			AZUAY
005			20251111043028.0
008			251108b |||||||gr|||| 00| | d
020			_a978-84-309-0529-4
040			_aAZUAY _bspa _cAZUAY _dAZUAY _erda
041	0		_aspa
082	0	4	_a510 _bK639
100	1		_aKleene, Stephen C., _eautor
245	1	0	_aIntroducción a la matemática
264	3	1	_a: _bEditorial Tecnos, _c1974
300			_a494 páginas
300			_bImpreso, Digital
336			_2rdacontent _atexto _btxt
337			_2rdamedia _ano mediado _bn
338			_2rdacarrier _avolumen _bnc
520	3		_aEl problema de los fundamentos. La teoría de conjuntos. Algunos conceptos fundamentales. Una Critica del razonamiento matemático. Lógica matemática. Un sistema formal. Deducción formal. El calculo proposicional. El calculo de predicados. Teoría formal de números. Funciones recursivas. Funciones recursivas primitivas. La aritmetización de la matemática. Funciones recursivas generales. Funciones recursivas Parciales. Lógica matemática. El calculo de predicados y sistemas axiomáticos. Consistencia, sistemas clásicos e institucionistas.
520	3		_bLa ´Introducción a la matemática´, de Kleene, es una obra cumbre de la lógica matemática en los últimos decenios y constituye fuente de consulta indispensable en lógica, filosofía, matemáticas e informática. La obra se divide en cuatro partes. La primera esta dedicada a ´problemas de fundamentación´. La segunda parte se ocupa de ´la lógica elemental y la axiomatización de la aritmética´. La tercera parte se consagra a ´la teoría lógica de la computabilidad´. La cuarta parte discute tópicos de ´lógica clásica y lógica constructiva´
650	1	4	_aARITMÉTICA
650	1	4	_aCÁLCULO
650	1	4	_aLÓGICA
650	1	4	_aMATEMÁTICA
654	0		_a510 - Matemáticas
654	0		_a510 - Matemáticas
942			_2ddc _c5
999			_c40155 _d40155