Hierarchies of number-theoretic predicates (1955)

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