Skolem T. ...

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

24 Сентября, 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

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