Publication:3220577

From MaRDI portal


zbMath0556.03037MaRDI QIDQ3220577

F. I. Validov

Publication date: 1984



03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

03D45: Theory of numerations, effectively presented structures


Related Items