Recursive predicates and quantifiers (1943)

by S C Kleene
Venue:Transactions of the Amer. Math. Soc