@misc{avigad2012computability,
  title={Computability and analysis: the legacy of Alan Turing},
  author={Jeremy Avigad and Vasco Brattka},
  year={2012},
  eprint={1206.3431},
  archivePrefix={arXiv},
  primaryClass={math.LO},
  doi={10.1017/CBO9781107338579.002},
  url={https://arxiv.org/abs/1206.3431}
}