- 57–71, 158–169. Heyting, A. (1934)
Mathematische Grundlagenforschung.
Intuitionismus. Beweistheorie. Springer, Berlin. Heyting, A. (1941) Untersuchungen...
- Kneser, ****muth (1940), "Der
Fundamentalsatz der
Algebra und der
Intuitionismus",
Mathematische Zeitschrift, vol. 46, pp. 287–302, doi:10.1007/BF01181442...
- (1): 86–102. doi:10.1007/BF01456243. S2CID 121669489.
Formalismus und
Intuitionismus in der Mathematik. Karlsruhe: G. Braun. 1924.
Nichteuklidische Geometrie...
