Recursive approximability of real numbers (0)

by X Zheng
Venue:Math. Log. Q