Fernández Díez G. Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants. CRHF [Internet]. 2019 Jan. 7 [cited 2025 Jun. 30];32(96):43-57. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/891