Recursive functionals and quanti ers of nite types (1963)

by S C Kleene
Venue:II. Trans. American Mathematical Society