Zoekresultaten
Resultaat 1 - 11 (van 11)
Joost J. Joosten | Grant Olney Passmore Doet SAT exhibit fractal behavior?
Non-fictie
Engels | 5 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Marta Bilkova | Dick de Jongh | Joost J. Joosten Interpretability in PRA
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
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
Evan Gorris | Joost J. Joosten The many faces of interpretability
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Joost J. Joosten Interpretability formalized
Non-fictie
Engels | 213 pagina's | Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 2004
Gedrukt boek
Evan Goris | Joost J. Joosten Modal matters in interpretability logics
Non-fictie
Engels | 117 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
Joost J. Joosten The closed fragment of the interpretability logic of PRA with a constant for →IS⇋1
Non-fictie
Engels | 47 pagina's | Zeno Institute of Philosophy, Utrecht | 2003
Gedrukt boek
Joost J. Joosten Two proofs of Parsons' theorem
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, Utrecht | 2002
Gedrukt boek
Joost J. Joosten | A. Visser The interpretability logic of all reasonable arithmetical theories
the new conjecture
Non-fictie
Engels | 25 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
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