Arithmetical problems and recursively enumerable predicates (1953)

by Martin Davis
Venue:Journal of Symbolic Logic