Search
How to extend the dialogical approach to provability logic
Vol. 127/1-2
Ulrich Nortmann
Volume
Title
Author