Скордев Д. ...

Новости

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

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

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

Скордев Д.

[1973]

Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств

Cб. Исследования по теории алгорифмов и математической логике, т. 1, М., ВЦ АН СССР, 134-177

74.01.100

статья

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