Cholak P., Harrington L. A. ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

Cholak P., Harrington L. A.

[2000]

Definable encodings in the computably enumerable sets

Bull. Symbolic Logic, 6, № 2, 185-196

05.08.93

S

article

Вернуться к поиску