Class: 'рекурсивно перечислимая тьюрингова степень'

http://cll.niimm.ksu.ru/ontologies/mathematics#E2396

Annotations (2)

comment "Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972, стр. 180" (string)
label "рекурсивно перечислимая тьюрингова степень" (ru)

Superclasses (1)

'тьюрингова степень'

Usage (1)

Class: 'рекурсивно перечислимая тьюрингова степень'