 A number of influences (or possible influences) on Heyting’s arriving at the Proof Interpretation can be suggested. The following are publications Heyting had all seen by 1927, for he refers to them in his dissertation (1925: 93–94):