![](/img/cover-not-exists.png)
Formula2-computable real numbers
Skordev, D., Weiermann, A., Georgiev, I.Volume:
22
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exq050
Date:
August, 2012
File:
PDF, 273 KB
english, 2012