Arithmetical predicates and function quantifiers (1955)

by S C Kleene
Venue:Trans. A.M.S