Quantification of Number-Theoretic Functions (1959)

by Stephen Cole Kleene
Venue:Compositio Mathematica