Recursion theory : computational aspects of definability /
Chi Tat Chong, Liang Yu.
- 1 online resource (322 pages) : illustrations.
- De Gruyter Series in Logic and Its Applications, Volume 8 1438-1893 ; .
- De Gruyter series in logic and its applications ; Volume 8. .