- Heyting, A. (1934)
Mathematische Grundlagenforschung. Intuitionismus.
Beweistheorie. Springer, Berlin. Heyting, A. (1941)
Untersuchungen der intuitionistische...
- von
Herbrand und von Gödel eine veränderte
Situation im
Gebiet der
Beweistheorie entstand,
welche die Berücksichtigung
neuer Einsichten zur
Aufgabe machte...
- very
brief proof of the cut-elimination theorem.
Wilfried Buchholz,
Beweistheorie (university
lecture notes about cut-elimination, German, 2002-2003)...
- 1016/0315-0860(75)90034-8. Neumann, J. v. (1927). "Zur
Hilbertschen Beweistheorie".
Mathematische Zeitschrift (in German). 24: 1–46. doi:10.1007/BF01475439...
- 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...
-
Werner Müller (Hrsg.)
Platon Werke, Bd. V 4, Göttingen 1998 (= Diss.).
Beweistheorie,
Mathematik und Syllogistik. Zum
Problem ihres Verhältnisses in Aristoteles...
