Repository | Directory | Profile
References
Ulrich Nortmann
(2000-2009)
XHow to extend the dialogical approach to provability logic
2001
Synthese 127/1-2
Repository | Directory | Profile
(2000-2009)
XHow to extend the dialogical approach to provability logic
2001
Synthese 127/1-2