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


Imprimir