Recursive predicates and quantifiers, Transactions of the American (1943)

by Stephen C Kleene
Venue:Mathematical Society