zbMath0369.02022MaRDI QIDQ4147965
Dimiter Skordev
Publication date: 1976
Mathematics Subject Classification ID
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99)
Related Items