Zoekresultaten
Resultaat 1 - 2 (van 2)
A. Visser Propositional logics of closed and open substitutions of Heyting's arithmetic
Non-fictie
Engels | 13 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
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