On fragments of analysis with strengths of finitely iterated inductive definitions (2003)

by Klaus Aehlig