TY  - RPRT
TI  - Computability and analysis: the legacy of Alan Turing
AU  - Jeremy Avigad
AU  - Vasco Brattka
PY  - 2012
DO  - 10.1017/cbo9781107338579.002
UR  - https://arxiv.org/abs/1206.3431
ID  - 1206.3431
ER  -