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.