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 2015eb
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  - http://site.ebrary.com/lib/daystar/Doc?id=11087975
ER  -