@misc{indiciaef96cc52e9b31,
  title = {Computability and analysis: the legacy of Alan Turing},
  author = {Jeremy Avigad and Vasco Brattka},
  year = {2012},
  doi = {10.1017/cbo9781107338579.002},
  url = {https://arxiv.org/abs/1206.3431},
  note = {Source identifier: 1206.3431}
}