Una compilación de artículos de un coloquio sobre constructividad en matemáticas, que abarca diversos aspectos de la lógica, el análisis y la teoría de conjuntos desde una perspectiva constructiva.
neerlandés
Arend Heyting fue un matemático y lógico neerlandés, conocido por ser uno de los fundadores de la lógica intuitionista y por desarrollar la interpretación intuitionista de los conceptos matemáticos. Su trabajo ha influido en el desarrollo de la filosofía de las matemáticas y la lógica moderna.
Una compilación de artículos de un coloquio sobre constructividad en matemáticas, que abarca diversos aspectos de la lógica, el análisis y la teoría de conjuntos desde una perspectiva constructiva.
Aparecen junto a A. Heyting en búsquedas del archivo