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]

No reviews for this publication, yet.