Publisher
Springer International Publishing
Reference3 articles.
1. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-61667-9
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem
3. Shen, A., Vereshchagin, N.K.: Computable Functions. American Mathematical Society (2002)