<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursion theory"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b7iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b7iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b8iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> .
_:b8iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.loc.gov/mads/rdf/v1#elementValue> "Recursion theory"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/marcKey> "150 0$aRecursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#classification> _:b13iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b13iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/lcc#ClassNumber> .
_:b13iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.loc.gov/mads/rdf/v1#code> "QA9.6" .
_:b13iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://id.loc.gov/authorities/classification/QA9.6> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh94006269> .
<http://id.loc.gov/authorities/subjects/sh94006269> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh94006269> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursively enumerable sets"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <https://d-nb.info/gnd/4122329-9> .
<https://d-nb.info/gnd/4122329-9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<https://d-nb.info/gnd/4122329-9> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Rekursionstheorie" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh97005516> .
<http://id.loc.gov/authorities/subjects/sh97005516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh97005516> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Axiomatic recursion theory"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://id.worldcat.org/fast/1091982> .
<http://id.worldcat.org/fast/1091982> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.worldcat.org/fast/1091982> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://data.bnf.fr/ark:/12148/cb119445617> .
<http://data.bnf.fr/ark:/12148/cb119445617> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://data.bnf.fr/ark:/12148/cb119445617> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Récursivité, Théorie de la"@fr .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://purl.org/bncf/tid/45390> .
<http://purl.org/bncf/tid/45390> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://purl.org/bncf/tid/45390> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Teoria della ricorsività"@it .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Logic, Symbolic and mathematical"@en .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#elementList> _:b47iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b47iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b48iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b47iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b48iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> .
_:b48iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.loc.gov/mads/rdf/v1#elementValue> "Logic, Symbolic and mathematical"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85112014> .
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursive functions"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85068645> .
<http://id.loc.gov/authorities/subjects/sh85068645> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/subjects/sh85068645> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Isols"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSH_General> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4645781> .
<http://id.loc.gov/resources/works/4645781> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4645781> <http://id.loc.gov/ontologies/bflc/aap> "Aberth, Oliver Computable analysis" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/23744029> .
<http://id.loc.gov/resources/works/23744029> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/23744029> <http://id.loc.gov/ontologies/bflc/aap> "Adámek, Jiří, 1947- Initial algebras and terminal coalgebras" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3865932> .
<http://id.loc.gov/resources/works/3865932> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3865932> <http://id.loc.gov/ontologies/bflc/aap> "Anisimov, A. V. (Anatoliĭ Vasilʹevich) Informatika, tvorchestvo, rekursii︠a" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4861877> .
<http://id.loc.gov/resources/works/4861877> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4861877> <http://id.loc.gov/ontologies/bflc/aap> "Anisimov, A. V. (Anatoliĭ Vasilʹevich) Kompʹi︠u︡ternai︠a︡ lingvistika dli︠a︡ vsekh" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/19010744> .
<http://id.loc.gov/resources/works/19010744> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/19010744> <http://id.loc.gov/ontologies/bflc/aap> "Arslanov, M. M. (Marat Mirzaevich) Lokalʹnai︠a︡ teorii︠a︡ stepeneĭ nerazreshimosti i [Delta ⁰2 in column] - mnozhestva" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/19010739> .
<http://id.loc.gov/resources/works/19010739> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/19010739> <http://id.loc.gov/ontologies/bflc/aap> "Arslanov, M. M. (Marat Mirzaevich) Rekursivno perechislimye mnozhestva i stepeni nerazreshimosti" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/23177792> .
<http://id.loc.gov/resources/works/23177792> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/23177792> <http://id.loc.gov/ontologies/bflc/aap> "Aspects of computation and automata theory with applications" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/23775174> .
<http://id.loc.gov/resources/works/23775174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/23775174> <http://id.loc.gov/ontologies/bflc/aap> "Borot, Gaëtan, 1986- Higher airy structures, W algebras and topological recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/23821444> .
<http://id.loc.gov/resources/works/23821444> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/23821444> <http://id.loc.gov/ontologies/bflc/aap> "Borot, Gaëtan, 1986- Higher airy structures, W algebras and topological recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3381475> .
<http://id.loc.gov/resources/works/3381475> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3381475> <http://id.loc.gov/ontologies/bflc/aap> "Brassard, Gilles, 1955- Algorithmics" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3216118> .
<http://id.loc.gov/resources/works/3216118> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3216118> <http://id.loc.gov/ontologies/bflc/aap> "Brook, Tim Order and recursion in topoi" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/18517067> .
<http://id.loc.gov/resources/works/18517067> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/18517067> <http://id.loc.gov/ontologies/bflc/aap> "Chong, C.-T. (Chi-Tat), 1949- Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2842813> .
<http://id.loc.gov/resources/works/2842813> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2842813> <http://id.loc.gov/ontologies/bflc/aap> "Chong, C.-T. (Chi-Tat), 1949- Techniques of admissible recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1364403> .
<http://id.loc.gov/resources/works/1364403> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1364403> <http://id.loc.gov/ontologies/bflc/aap> "Cohors-Fresenborg, E. (Elmar) Mathematik mit Kalkülen und Maschinen" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2109314> .
<http://id.loc.gov/resources/works/2109314> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2109314> <http://id.loc.gov/ontologies/bflc/aap> "Complexity, logic, and recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3981017> .
<http://id.loc.gov/resources/works/3981017> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3981017> <http://id.loc.gov/ontologies/bflc/aap> "Computability, enumerability, unsolvability" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/12879810> .
<http://id.loc.gov/resources/works/12879810> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12879810> <http://id.loc.gov/ontologies/bflc/aap> "Cooper, S. B. (S. Barry) Computability and models" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4173571> .
<http://id.loc.gov/resources/works/4173571> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4173571> <http://id.loc.gov/ontologies/bflc/aap> "Cutland, Nigel Computability, an introduction to recursive function theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4640070> .
<http://id.loc.gov/resources/works/4640070> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4640070> <http://id.loc.gov/ontologies/bflc/aap> "Diller, Justus Rekursionstheorie" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4860162> .
<http://id.loc.gov/resources/works/4860162> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4860162> <http://id.loc.gov/ontologies/bflc/aap> "Döben, Gerd, 1948- Nichttheoreme" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/646245> .
<http://id.loc.gov/resources/works/646245> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/646245> <http://id.loc.gov/ontologies/bflc/aap> "Dubois, Daniel Hyperincursivity" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/18208069> .
<http://id.loc.gov/resources/works/18208069> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/18208069> <http://id.loc.gov/ontologies/bflc/aap> "E-recursion, forcing and C*-algebras" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1709223> .
<http://id.loc.gov/resources/works/1709223> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1709223> <http://id.loc.gov/ontologies/bflc/aap> "Eilenberg, Samuel Recursiveness" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2333252> .
<http://id.loc.gov/resources/works/2333252> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2333252> <http://id.loc.gov/ontologies/bflc/aap> "Elgot, Calvin C. Calvin C. Elgot selected papers" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/16481876> .
<http://id.loc.gov/resources/works/16481876> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16481876> <http://id.loc.gov/ontologies/bflc/aap> "Enderton, Herbert B. Computability theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/410763> .
<http://id.loc.gov/resources/works/410763> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/410763> <http://id.loc.gov/ontologies/bflc/aap> "Epstein, Richard L., 1947- Initial segments of degrees below 0'" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3274540> .
<http://id.loc.gov/resources/works/3274540> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3274540> <http://id.loc.gov/ontologies/bflc/aap> "Ershov, I︠U︡. L. (I︠U︡riĭ Leonidovich) Problemy razreshimosti i konstruktivnye modeli" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1808474> .
<http://id.loc.gov/resources/works/1808474> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1808474> <http://id.loc.gov/ontologies/bflc/aap> "Fenstad, Jens Erik General recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/897427> .
<http://id.loc.gov/resources/works/897427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/897427> <http://id.loc.gov/ontologies/bflc/aap> "Fitting, Melvin, 1942- Fundamentals of generalized recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4508812> .
<http://id.loc.gov/resources/works/4508812> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4508812> <http://id.loc.gov/ontologies/bflc/aap> "Gasarch, William I. Bounded queries in recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/15963608> .
<http://id.loc.gov/resources/works/15963608> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/15963608> <http://id.loc.gov/ontologies/bflc/aap> "Goodstein, R. L. (Reuben Louis) Recursive analysis" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2166827> .
<http://id.loc.gov/resources/works/2166827> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2166827> <http://id.loc.gov/ontologies/bflc/aap> "Goodstein, R. L. (Reuben Louis) Recursive analysis" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/276989> .
<http://id.loc.gov/resources/works/276989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/276989> <http://id.loc.gov/ontologies/bflc/aap> "Goodstein, R. L. (Reuben Louis) Recursive number theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/14226134> .
<http://id.loc.gov/resources/works/14226134> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14226134> <http://id.loc.gov/ontologies/bflc/aap> "Greenberg, Noam, 1974- The role of true finiteness in the admissible recursively enumerable degrees" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3698495> .
<http://id.loc.gov/resources/works/3698495> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3698495> <http://id.loc.gov/ontologies/bflc/aap> "Hack, Michel, 1947- Decidability questions for Petri nets" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2144706> .
<http://id.loc.gov/resources/works/2144706> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2144706> <http://id.loc.gov/ontologies/bflc/aap> "Handbook of recursive mathematics" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/391719> .
<http://id.loc.gov/resources/works/391719> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/391719> <http://id.loc.gov/ontologies/bflc/aap> "Harel, David, 1950- First-order dynamic logic" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4671576> .
<http://id.loc.gov/resources/works/4671576> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4671576> <http://id.loc.gov/ontologies/bflc/aap> "Herrmann, E. Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/14014505> .
<http://id.loc.gov/resources/works/14014505> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14014505> <http://id.loc.gov/ontologies/bflc/aap> "Hinman, Peter G. Fundamentals of mathematical logic" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4297340> .
<http://id.loc.gov/resources/works/4297340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4297340> <http://id.loc.gov/ontologies/bflc/aap> "Ivanov, L. L. (Ljubomir Lalov), 1952- Algebraic recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/14171139> .
<http://id.loc.gov/resources/works/14171139> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14171139> <http://id.loc.gov/ontologies/bflc/aap> "Kozen, Dexter, 1951- Theory of computation" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/17521834> .
<http://id.loc.gov/resources/works/17521834> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17521834> <http://id.loc.gov/ontologies/bflc/aap> "Lecomte, Dominique, 1964- Potential wadge classes" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/12725514> .
<http://id.loc.gov/resources/works/12725514> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12725514> <http://id.loc.gov/ontologies/bflc/aap> "Lindström, Per, 1936- Aspects of incompleteness" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3543533> .
<http://id.loc.gov/resources/works/3543533> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3543533> <http://id.loc.gov/ontologies/bflc/aap> "Lindström, Per, 1936- Aspects of incompleteness" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/19391984> .
<http://id.loc.gov/resources/works/19391984> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/19391984> <http://id.loc.gov/ontologies/bflc/aap> "Lobina, David J. Recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/853912> .
<http://id.loc.gov/resources/works/853912> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/853912> <http://id.loc.gov/ontologies/bflc/aap> "Maass, Wolfgang, 1949 August 21- Contributions to [alpha]- and [beta]-recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/952847> .
<http://id.loc.gov/resources/works/952847> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/952847> <http://id.loc.gov/ontologies/bflc/aap> "Mansfield, Richard, 1941- Recursive aspects of descriptive set theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/22839134> .
<http://id.loc.gov/resources/works/22839134> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/22839134> <http://id.loc.gov/ontologies/bflc/aap> "Matuszek, David L. Quick recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/22856156> .
<http://id.loc.gov/resources/works/22856156> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/22856156> <http://id.loc.gov/ontologies/bflc/aap> "Matuszek, David L. Quick recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/915268> .
<http://id.loc.gov/resources/works/915268> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/915268> <http://id.loc.gov/ontologies/bflc/aap> "McLaughlin, Thomas G. Regressive sets and the theory of isols" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/585998> .
<http://id.loc.gov/resources/works/585998> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/585998> <http://id.loc.gov/ontologies/bflc/aap> "Meyer, Rochelle Wilson Play it again, Sam" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/20788372> .
<http://id.loc.gov/resources/works/20788372> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/20788372> <http://id.loc.gov/ontologies/bflc/aap> "Moschovakis, Yiannis N. Abstract recursion and intrinsic complexity" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2298840> .
<http://id.loc.gov/resources/works/2298840> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2298840> <http://id.loc.gov/ontologies/bflc/aap> "Normann, Dag, 1947- Recursion on the countable functionals" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3974125> .
<http://id.loc.gov/resources/works/3974125> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3974125> <http://id.loc.gov/ontologies/bflc/aap> "Oberschelp, Arnold Rekursionstheorie" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2438590> .
<http://id.loc.gov/resources/works/2438590> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2438590> <http://id.loc.gov/ontologies/bflc/aap> "Odifreddi, Piergiorgio, 1950- Classical recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1478082> .
<http://id.loc.gov/resources/works/1478082> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1478082> <http://id.loc.gov/ontologies/bflc/aap> "Paull, Marvin C. Algorithm design" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1287340> .
<http://id.loc.gov/resources/works/1287340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1287340> <http://id.loc.gov/ontologies/bflc/aap> "Peterson, Larry J. The recursive nature of descriptions" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1351346> .
<http://id.loc.gov/resources/works/1351346> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1351346> <http://id.loc.gov/ontologies/bflc/aap> "Plaisted, David A. A recursively defined ordering for proving termination of term rewriting systems" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3080581> .
<http://id.loc.gov/resources/works/3080581> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3080581> <http://id.loc.gov/ontologies/bflc/aap> "Pogorzelski, H. A. Transtheoretic foundations of mathematics (general summary of results). Series I. Natural numbers" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4184431> .
<http://id.loc.gov/resources/works/4184431> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4184431> <http://id.loc.gov/ontologies/bflc/aap> "Poigné, A. Sprachkonzepte in der Programmierung" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/952179> .
<http://id.loc.gov/resources/works/952179> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/952179> <http://id.loc.gov/ontologies/bflc/aap> "Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3790441> .
<http://id.loc.gov/resources/works/3790441> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3790441> <http://id.loc.gov/ontologies/bflc/aap> "Recursion theory and computational complexity" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/970554> .
<http://id.loc.gov/resources/works/970554> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/970554> <http://id.loc.gov/ontologies/bflc/aap> "Roberts, Eric Thinking recursively" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/14095103> .
<http://id.loc.gov/resources/works/14095103> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14095103> <http://id.loc.gov/ontologies/bflc/aap> "Roberts, Eric Thinking recursively with Java" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/934973> .
<http://id.loc.gov/resources/works/934973> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/934973> <http://id.loc.gov/ontologies/bflc/aap> "Rohl, J. S. (Jeffrey Soden), 1938- Recursion via Pascal" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/19670687> .
<http://id.loc.gov/resources/works/19670687> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/19670687> <http://id.loc.gov/ontologies/bflc/aap> "Sacks, Gerald E. Higher recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2911967> .
<http://id.loc.gov/resources/works/2911967> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2911967> <http://id.loc.gov/ontologies/bflc/aap> "Sacks, Gerald E. Higher recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/12221524> .
<http://id.loc.gov/resources/works/12221524> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12221524> <http://id.loc.gov/ontologies/bflc/aap> "Shoenfield, Joseph R. (Joseph Robert), 1927- Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2997797> .
<http://id.loc.gov/resources/works/2997797> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2997797> <http://id.loc.gov/ontologies/bflc/aap> "Shoenfield, Joseph R. (Joseph Robert), 1927- Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1072340> .
<http://id.loc.gov/resources/works/1072340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1072340> <http://id.loc.gov/ontologies/bflc/aap> "Skordev, Dimitŭr Genchev Computability in combinatory spaces" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/2802418> .
<http://id.loc.gov/resources/works/2802418> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2802418> <http://id.loc.gov/ontologies/bflc/aap> "Skordev, Dimitŭr Genchev Kombinatornye prostranstva i rekursivnostʹ v nikh" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3958624> .
<http://id.loc.gov/resources/works/3958624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3958624> <http://id.loc.gov/ontologies/bflc/aap> "Smullyan, Raymond M. Diagonalization and self-reference" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/1089468> .
<http://id.loc.gov/resources/works/1089468> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1089468> <http://id.loc.gov/ontologies/bflc/aap> "Smullyan, Raymond M. Recursion theory for metamathematics" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3781015> .
<http://id.loc.gov/resources/works/3781015> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3781015> <http://id.loc.gov/ontologies/bflc/aap> "Stenius, Erik On the definition of congruence by recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/22415446> .
<http://id.loc.gov/resources/works/22415446> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/22415446> <http://id.loc.gov/ontologies/bflc/aap> "Sweigart, Al The recursive book of recursion" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/387231> .
<http://id.loc.gov/resources/works/387231> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/387231> <http://id.loc.gov/ontologies/bflc/aap> "Théorie des algorithmes, des langages et de la programmation" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4907034> .
<http://id.loc.gov/resources/works/4907034> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4907034> <http://id.loc.gov/ontologies/bflc/aap> "Viswanath, V. S., 1963- The recursion method" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/11813836> .
<http://id.loc.gov/resources/works/11813836> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/11813836> <http://id.loc.gov/ontologies/bflc/aap> "Wampach, Claude Essays in recursive competitive equilibrium analysis" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/3700096> .
<http://id.loc.gov/resources/works/3700096> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3700096> <http://id.loc.gov/ontologies/bflc/aap> "Wand, Mitchell Induction, recursion, and programming" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/17114523> .
<http://id.loc.gov/resources/works/17114523> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17114523> <http://id.loc.gov/ontologies/bflc/aap> "Weber, Rebecca, 1977- Computability theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/12061755> .
<http://id.loc.gov/resources/works/12061755> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12061755> <http://id.loc.gov/ontologies/bflc/aap> "Weihrauch, K. (Klaus), 1943- Computable analysis" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/subjects> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://id.loc.gov/vocabulary/identifiers/lccn> "sh 85112012" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2002/07/owl#sameAs> <info:lc/authorities/sh85112012> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2002/07/owl#sameAs> <http://id.loc.gov/authorities/sh85112012#concept> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b390iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b390iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b390iddOtlocdOtgovauthoritiessubjectssh85112012 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b390iddOtlocdOtgovauthoritiessubjectssh85112012 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b390iddOtlocdOtgovauthoritiessubjectssh85112012 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursion theory"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#broader> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic, Symbolic and mathematical"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh94006269> .
<http://id.loc.gov/authorities/subjects/sh94006269> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh94006269> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursively enumerable sets"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh97005516> .
<http://id.loc.gov/authorities/subjects/sh97005516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh97005516> <http://www.w3.org/2004/02/skos/core#prefLabel> "Axiomatic recursion theory"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85112014> .
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursive functions"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85068645> .
<http://id.loc.gov/authorities/subjects/sh85068645> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.loc.gov/authorities/subjects/sh85068645> <http://www.w3.org/2004/02/skos/core#prefLabel> "Isols"@en .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#closeMatch> <https://d-nb.info/gnd/4122329-9> .
<https://d-nb.info/gnd/4122329-9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://d-nb.info/gnd/4122329-9> <http://www.w3.org/2004/02/skos/core#prefLabel> "Rekursionstheorie" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://id.worldcat.org/fast/1091982> .
<http://id.worldcat.org/fast/1091982> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://id.worldcat.org/fast/1091982> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursion theory" .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://data.bnf.fr/ark:/12148/cb119445617> .
<http://data.bnf.fr/ark:/12148/cb119445617> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://data.bnf.fr/ark:/12148/cb119445617> <http://www.w3.org/2004/02/skos/core#prefLabel> "Récursivité, Théorie de la"@fr .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://purl.org/bncf/tid/45390> .
<http://purl.org/bncf/tid/45390> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://purl.org/bncf/tid/45390> <http://www.w3.org/2004/02/skos/core#prefLabel> "Teoria della ricorsività"@it .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/subjects> .
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#changeNote> _:b446iddOtlocdOtgovauthoritiessubjectssh85112012 .
_:b446iddOtlocdOtgovauthoritiessubjectssh85112012 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b446iddOtlocdOtgovauthoritiessubjectssh85112012 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85112012> .
_:b446iddOtlocdOtgovauthoritiessubjectssh85112012 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b446iddOtlocdOtgovauthoritiessubjectssh85112012 <http://purl.org/vocab/changeset/schema#createdDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b446iddOtlocdOtgovauthoritiessubjectssh85112012 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .