My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author Chong, C.-T. (Chi-Tat), 1949- author.

Title Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu.

Published Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015.


Location Call No. Status
Physical description 1 online resource (322 pages) : illustrations.
Series De Gruyter Series in Logic and Its Applications, 1438-1893 ; Volume 8
De Gruyter series in logic and its applications ; Volume 8.
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Local Note Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Other author Yu, Liang, author.
Subject Recursion theory.
Electronic books.
ISBN 9783110275551
9783110275643 (e-book)
9783110381290 (EPUB)