@inproceedings{Zheng2008, author = {Xizhong Zheng}, title = {A Computability Theory of Real Numbers}, booktitle = {Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, pages = {584 -- 594}, year = {2008}, }