Chong, Chi Tat
Recursion theory : computational aspects of definability
Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, 2015. xiii, 306 p. -- (De Gruyter series in logic and its applications ; Vol. 8)
QA9.6 C455