Fernández Díez, G. Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants. CRHF 2019, 32, 43-57.