Computational prospects of infinity - Chong, Chi-tat 1949-; Feng, Qi; Slaman, Theodore A. (World Scientific, 2008)