G. Fernández Díez, “Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants”, CRHF, vol. 32, no. 96, pp. 43–57, Jan. 2019.