Recursive approximability of real numbers (2002)

by X Zheng
Venue:Mathematical Logic Quarterly