 Heyting’s (partial) formalization of intuitionistic logic and mathematics in Heyting 1930, Heyting 1930A, and Heyting 1930B, is perhaps, as far as the parts on logic are concerned, the most influential intuitionistic publication ever, together with his book Intuitionism: An Introduction from 1956.