Recursive predicates and quantifiers (1943)

by S C Kleene
Venue:Transactions of the American Mathematical Society