Shepherdson J.C. ...

Новости

07 Октября, 2023 Защита диссертаций

20 Сентября, 2023 Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году

08 Сентября, 2023 Напоминаем, что в Москве начались выборы Мэра

Shepherdson J.C.

[1985]

Algotithmic procedures, generalized Turing algorithms, and elementary Recursion Theory

Harvey Fridman’s Res. Found. Math., Amsterdam, 285-308

87.Г1.39

O

article

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