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

Saul Kripke

Browse the full LICS paper archive.