"The Church-Turing 'Thesis' as a Special Corollary of Gödel's Completeness Theorem," in "Computability: Turing, Gödel, Church, and Beyond," Copeland, B. J., Posy, C., and Shagrir, O.
«Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem», in "Computability: Gödel, Turing, Church, and beyond," Copeland, B. J., Posy, C., and Shagrir, O.