Computational prospects of infinity - Chong, Chi-tat 1949-; Feng, Qi; Slaman, Theodore A. (Lecture notes series / Institute for Mathematical Sciences, National University of Singapore, 2008)