Zoekresultaten
Resultaat 1 - 5 (van 5)
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