Skolem T. ...

Новости

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

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

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

Skolem T.

[1962]

Recursive enumeration of some classes of primitive recursive functions and majorisation theorem

Kon. Nors. Vid., Sel., Forh., 35, № 26, 142-148

64.01.11

article

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