- 158–169. OCLC 601568391. — (1934).
Mathematische Grundlagenforschung.
Intuitionismus.
Beweistheorie (in German). Berlin: Springer. — (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...
