Fernández Díez, Gustavo. “Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants”. Crítica. Revista Hispanoamericana de Filosofía 32, no. 96 (January 7, 2019): 43–57. Accessed May 10, 2025. https://critica.filosoficas.unam.mx/index.php/critica/article/view/891.