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 |