- ISBN 978-3-11-264582-6.) — (1934).
Mathematische Grundlagenforschung. Intuitionismus.
Beweistheorie (in German). Berlin: Springer. — (1941). "Untersuchungen der intuitionistischen...
- 1016/0315-0860(75)90034-8. Neumann, J. v. (1927). "Zur
Hilbertschen Beweistheorie".
Mathematische Zeitschrift (in German). 24: 1–46. doi:10.1007/BF01475439...
- 13 (4): 373–378. doi:10.1007/BF00247711. Buchholz,
Wilfried (2002). "
Beweistheorie" (PS). Ludwig-Maximilians-Universität München (in German). University...
- von
Herbrand und von Gödel eine veränderte
Situation im
Gebiet der
Beweistheorie entstand,
welche die Berücksichtigung
neuer Einsichten zur
Aufgabe machte...
-
Werner Müller (Hrsg.)
Platon Werke, Bd. V 4, Göttingen 1998 (= Diss.).
Beweistheorie,
Mathematik und Syllogistik. Zum
Problem ihres Verhältnisses in Aristoteles...
- York: Springer-Verlag, pp. xii+299, ISBN 3-540-07911-4, MR 0505313
Beweistheorie, Springer,
Grundlehren der
mathematischen Wissenschaften, 1960; new...
-
Phenomenology and
University Press of America, 1982, 141 - 59. "Die
Kantische Beweistheorie und die
Beweise der
Kritik der
reinen Vernunft", in:
Akten des 5. internationalen...
