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