 Heyting had informed Glivenko of the planned publication of his (revised and translated) prize essay from 1928 in the Mathematische Annalen. On October 30, 1928, Glivenko asked Heyting if he also was going to include the result that if \(p\) is provable in classical propositional logic, then \(\neg\neg p\) is provable in intuitionistic propositional logic; for if he would, then there would be no point for Glivenko in publishing his own manuscript. Two weeks later, Glivenko had changed his mind, writing to Heyting on November 13 that, even though this result “is but an almost trivial remark”, “its rigorous demonstration is a bit long” and he wants to publish it independently of Heyting’s paper. Indeed, Glivenko’s paper was published first, and in it the publication of Heyting’s formalization was announced; and when Heyting published his paper in 1930, he included a reference to Glivenko 1929, stating its two theorems, and he also acknowledged the use of results from Glivenko 1928. Heyting’s note “On intuitionistic logic”, also from 1930, begins with a reference to Glivenko’s “two excellent articles” from 1928 and 1929.