Martin Davis. Arithmetical Problems and Recursively Enumerable Predicates. Journal of Symbolic Logic, 18(1):33-41, 1953.
@article{Davis53,
title = {Arithmetical Problems and Recursively Enumerable Predicates},
author = {Martin Davis},
year = {1953},
researchr = {https://researchr.org/publication/Davis53},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {18},
number = {1},
pages = {33-41},
}