Zoekresultaten
Resultaat 1 - 14 (van 14)
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 Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
L.D. Beklemishev On the induction schema for decidable predicates
Non-fictie
Engels | 22 pagina's | Zeno Institute of Philosophy, Utrecht | 2000
Gedrukt boek
L.D. Beklemishev Notes on local reflection principles
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
L.D. Beklemishev Iterated local reflection vs iterated consistency
Non-fictie
Engels | 25 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
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
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 Quantifier-free induction schema and the least element principle
Non-fictie
Engels | 21 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
L.D. Beklemishev The worm principle
Non-fictie
Engels | 23 pagina's | Zeno, Institute of Philosophy], [Utrecht | 2003
Gedrukt boek
L.D. Beklemishev Induction rules, reflection principles and provably recursive functions
Non-fictie
Engels | 42 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
L.D. Beklemishev Parameter free induction and reflection
Non-fictie
Engels | 12 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
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
L.D. Beklemishev Provability algebras and proof-theoretic ordinals, I
Non-fictie
Engels | 21 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2001
Gedrukt boek