Recursive predicates and quantifiers (1943)

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