Recursion theory : computational aspects of definability - Chong, C.-T. (Chi-Tat), 1949-; Yu, Liang (De Gruyter series in logic and its applications ;, 2015)