Intuicionismo y Teoría de la Prueba

El libro de Heyting explora en profundidad el intuicionismo matemático, al igual que 'Intuicionismo y Teoría de la Prueba', profundizando en su lógica y filosofía.

'Introducción al intuicionismo' ofrece una presentación clara de los fundamentos intuicionistas, similar a la manera precisa de abordar la teoría de la prueba en el libro de referencia.

'Sobre la Fundamentación del Intuicionismo Matemático' expone una axiomatización formal del intuicionismo, conectando con el interés en las bases constructivas de la matemática presente en el trabajo de Heyting.

En 'Esbozo de lógica intuitionista', Heyting profundiza en la lógica intuicionista, abordando aspectos que también son centrales en 'Intuicionismo y Teoría de la Prueba'.

'Elementos de Lógica Constructiva' rechaza el principio del tercero excluido, alineándose con las ideas de construcción matemática y lógica que Heyting presenta en su obra de referencia.

'Lógica y fundamentos de la matemática' desarrolla formalmente la lógica intuicionista, explorando conceptos que Heyting ya abarca en su revisión de los principios de la teoría de la prueba.