Zoekresultaten
Resultaat 1 - 2 (van 2)
Joost J. Joosten Propositional proof systems and fast consistency provers
Non-fictie
Engels | 19 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
Joost J. Joosten Semantics for sub-intuitionistic logics
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek