TY  - BOOK
AU  - Chong,C.-T.
AU  - Yu,Liang
TI  - Recursion theory: computational aspects of definability 
T2  - De Gruyter Series in Logic and Its Applications,
AV  - QA9.6 .C46 2015
U1  - 511.3/5 23
PY  - 2015///
CY  - Berlin, [Germany], Boston, [Massachusetts]
PB  - De Gruyter
KW  - Recursion theory
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1787099
ER  -