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