Fernández Díez, G. “Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants”. Crítica. Revista Hispanoamericana De Filosofía, vol. 32, no. 96, Jan. 2019, pp. 43-57, doi:10.22201/iifs.18704905e.2000.891.