Un texto que introduce la lógica y las matemáticas constructivas, incluyendo el cálculo de deducción natural, la aritmética constructiva y el análisis.
null
Thomas Streicher es un destacado autor y académico que ha contribuido significativamente al estudio de la literatura y la cultura contemporánea. Su obra se centra en explorar las intersecciones entre la narrativa y la teoría literaria moderna.
Un texto que introduce la lógica y las matemáticas constructivas, incluyendo el cálculo de deducción natural, la aritmética constructiva y el análisis.
Aparecen junto a Thomas Streicher en búsquedas del archivo