 This explanation of implication, which is the one that became standard, would be introduced in print only in Heyting 1934: 14; in his paper 1932C, Heyting used the explanation given in Kolmogorov 1932 instead (see below).