Zoekresultaten
Resultaat 1 - 3 (van 3)
S.N. Artemov | L.D. Beklemishev Provability logic
Non-fictie
Engels | 174 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
L.D. Beklemishev | A. Visser On the limit existence principles in elementary arithmetic and related topics
Non-fictie
Engels | 19 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
L.D. Beklemishev Veblen hierarchy in the context of provability algebras
Non-fictie
Engels | 15 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek