scientific article
From MaRDI portal
Publication:2710214
zbMath0962.03028MaRDI QIDQ2710214
Publication date: 22 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
word problemrecursive setscomputable functionsundecidable theorieshierarchiesrecursively enumerable setsTuring degreesregister machines
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) Computability and recursion theory (03Dxx)
Related Items