Induction rules, re ection principles, and provably recursive functions (1996)

by L D Beklemishev
Venue:Logic Group Preprint Series 168, University ofUtrecht