Natural Axiomatization of Computability and Proof of Church's Thesis (0)

by N Dershowitz, Y A Gurevich
Venue:Bulletin of Symbolic Logic