It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent Cf. van Atten (2008): there section 4.3 deals with Glivenko's aims and accomplishments in formalising intuitionistic logic.
It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent. Section 4.3 deals with Glivenko's aims and accomplishments in formalising intuitionistic logic.