Recursive quantifiers and functionals of finite type I (1959)

by S C Kleene
Venue:Transactions of the American Mathematical Society