Recursion theory : computational aspects of definability /
Chong, C.-T. 1949-
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. .
Includes bibliographical references and index.
9783110275643 9783110381290
Recursion theory.
Electronic books.
QA9.6 / .C46 2015
511.3/5
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. .
Includes bibliographical references and index.
9783110275643 9783110381290
Recursion theory.
Electronic books.
QA9.6 / .C46 2015
511.3/5