General Recursion Theory
DOI10.1017/9781316717073zbMath1365.03006OpenAlexW2493908645MaRDI QIDQ5274768
Publication date: 6 July 2017
Full work available at URL: https://doi.org/10.1017/9781316717073
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Inductive definability (03D70) Hierarchies of computability and definability (03D55) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (1)
This page was built for publication: General Recursion Theory
