Elementos de Lógica Constructiva
1991·filosofia
Un texto avanzado que cubre la lógica matemática desde una perspectiva constructivista, enfocándose en la prueba y la computabilidad dentro de los sistemas lógicos.
holandesa
Anne S. Troelstra es una destacada filósofa y escritora, conocida por sus contribuciones en el campo de la lógica matemática y la filosofía del lenguaje. Su trabajo ha influido en el desarrollo de la teoría de la computabilidad y la lógica constructiva.
1991·filosofia
Un texto avanzado que cubre la lógica matemática desde una perspectiva constructivista, enfocándose en la prueba y la computabilidad dentro de los sistemas lógicos.
Aparecen junto a Anne S. Troelstra en búsquedas del archivo