Лавров И.А. ...

Новости

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

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

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

Лавров И.А.

[1979]

Вычислимость частично рекурсивных функций и рекурсивно перечислимые множества в арифметике Пеано

Сибирск. матем. журнал, 20, № 6, 1269-1274

80.04.40

статья

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