Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
Author Chong, C.-T. (Chi-Tat), 1949- author.

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

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

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (322 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
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.
Note Description based on print version record.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Recursion theory.
Genre/Form Electronic books.
Added Author Yu, Liang, author.
Other Form: Print version: Chong, C.-T. (Chi-Tat), 1949- Recursion theory : computational aspects of definability. Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2015 306 pages De Gruyter series in logic and its applications ; Volume 8. 1438-1893 9783110275551 2015008883
ISBN 9783110275551
9783110275643 (e-book)
9783110381290 (EPUB)

 
    
Available items only