Alan Turing and the foundations of computable analysis

Guido Gherardi. Alan Turing and the foundations of computable analysis. Bulletin of Symbolic Logic, 17(3):394-430, 2011. [doi]

Abstract

Abstract is missing.