@article{Gherardi11,
  title = {Alan Turing and the foundations of computable analysis},
  author = {Guido Gherardi},
  year = {2011},
  url = {http://www.math.ucla.edu/~asl/bsl/1703/1703-003.ps},
  researchr = {https://researchr.org/publication/Gherardi11},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of Symbolic Logic},
  volume = {17},
  number = {3},
  pages = {394-430},
}