Zoekresultaten
Resultaat 1 - 3 (van 3)
L.D. Beklemishev | A. Visser Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
L.D. Beklemishev Reflection principles and provability algebras in formal arithmetic
Non-fictie
Engels | 78 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
L.D. Beklemishev | Joost J. Joosten | Marco R. Vervoort A finitary treatment of the closed fragment of Japaridze's provability logic
Non-fictie
Engels | 20 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek