"From the Church-Turing Thesis to the First-Order Algorithm Theorem."

Saul Kripke (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics