"On Definition Trees of Ordinal Recursive Functonals: Reduction of the ..."

Jan Terlouw (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics