B. A. Trakhtenbrot
-
From logic to theoretical computer science: an update
Pillars of computer science
The church-turing thesis over arbitrary domains