Inductive schemata and recursively continuous functionals (1977)

by S Feferman
Venue:Colloquium '76, Studies in Logic