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