zbMath0291.02032MaRDI QIDQ4041565
Dimiter Skordev
Publication date: 1973
Mathematics Subject Classification ID
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items