Recursion theory : computational aspects od definability

Author(s)

• Chong, Chi-Tat
• Yu, Liang

Bibliographic Information

Recursion theory : computational aspects od definability

Chi Tat Chong, Liang Yu

（De Gruyter series in logic and its applications, v. 8）

Walter de Gruyter, c2015

Note

Includes bibliographical references (p. [295]-301) and index

Details

• NCID: BB20116417
• ISBN:
  • 9783110275551
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xiii, 306 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.6
  • DC23 : 511.3/5
• Subject Headings:
  • LCSH : Recursion theory
• Parent Bibliography ID:
  • BA42765620