Nachum Dershowitz, Yuri Gurevich. A Natural Axiomatization of Computability and Proof of Church s Thesis. Bulletin of Symbolic Logic, 14(3):299-350, 2008. [doi]
@article{DershowitzG08,
title = {A Natural Axiomatization of Computability and Proof of Church s Thesis},
author = {Nachum Dershowitz and Yuri Gurevich},
year = {2008},
url = {http://www.math.ucla.edu/~asl/bsl/1403/1403-002.ps},
researchr = {https://researchr.org/publication/DershowitzG08},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {14},
number = {3},
pages = {299-350},
}