000			01365cam a22002534a 4500
999			_c19861 _d19861
001			15133364
005			20170126110931.0
007			ta
008			080109s2008 gw d frb 001 0 eng
020			_a9783540775324
040			_aDLC _cDLC _dDLC
082	0	0	_a511.36 _222 _bK792
100	1		_aKohlenbach, U. _938193
245	1	0	_aApplied proof theory : _bproof interpretations and their use in mathematics / _cUlrich Kohlenbach.
260			_aBerlin : _bSpringer; _c2008.
300			_aXIX, 532 p. : _c24 cm. _bil.;
490			_aSpringer monographs in mathematics _x1439-7382
504			_aIncluye referencias bibliográficas e indice.
520			_a Este es el primer tratamiento en formato de libro de las transformaciones de la teoría de la prueba - conocido como interpretaciones de la prueba - que se centra en aplicaciones a la matemática ordinaria. Abarca tanto la lógica lógica necesaria detrás de las interpretaciones de prueba que se utilizan en las aplicaciones recientes, así como - a través de estudios de caso extendidos - la realización de algunas de estas aplicaciones en todos los detalles. Este tema tiene raíces históricas en los años cincuenta. Este libro por primera vez cuenta toda la historia.
650		0	_aTEORÍA _919745
650		0	_aMATEMÁTICAS EN INGENIERÍA _933563
650		0	_aTEOREMAS _913944
942			_2ddc _cBK