Biblioteca
Normal view MARC view ISBD view

Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach.

By: Kohlenbach, U.
Material type: materialTypeLabelBookSeries: Springer monographs in mathematics.Publisher: Berlin : Springer; 2008Description: XIX, 532 p. : 24 cm. il.ISBN: 9783540775324 .Subject(s): TEORÍA | MATEMÁTICAS EN INGENIERÍA | TEOREMASDDC classification: 511.36 Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Fondo general
Colección General 511.36 K792 (Browse shelf) Ej. 1 1 Available 027173
Total holds: 0

Incluye referencias bibliográficas e indice.


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.

There are no comments for this item.

Log in to your account to post a comment.

Click on an image to view it in the image viewer