Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
How to extend the dialogical approach to provability logic
2001
Ulrich Nortmann
Synthese 127/1-2
