Arithmetical predicates and function quantifiers (0)

by S C Kleene
Venue:Trans. Amer. Math. Soc