| Bernays Edition Project Zweisprache Ausgabe der logischen und grundlagentheoretischen Arbeiten von Paul Bernays. Paul Bernays war Mitarbeiter von David Hilbert in Göttingen und Architekt der Beweistheorie. In Erlangen werden Arbeiten, die sich auf Bernays' Beziehungen zur Neuen Fries'schen Schule von Leonard Nelson beziehen, übersetzt und kommentiert. | Projektleitung:
Prof. Dr. Wilfried Sieg, Carnegie Mellon University, Pittsburgh
Beteiligte:
apl. Prof. Dr. Volker Peckhaus
Stichwörter:
Edition, mathematische Grundlagenforschung, Beweistheorie
Beginn: 1.1.2000
Mitwirkende Institutionen:
Carnegie Mellon University, Pittsburgh, PA
|