Publication:4147965
From MaRDI portal
zbMath0369.02022MaRDI QIDQ4147965
Publication date: 1976
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03D25: Recursively (computably) enumerable sets and degrees
03D99: Computability and recursion theory