Библиография Лаврова И.А.

Новости

02 Марта, 2023 Delta Computers и ИСП РАН подтвердили совместимость продуктов

16 Декабря, 2022 Открытая конференция ИСП РАН собрала 650 специалистов по системному программированию, цифровой медицине и лингвистике

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

Shepherdson J.C.

[1961]

Representability of recursively enumerable sets in formal theories

Arch. Math. Logik Grundl., 5, № 3-4, 119-127

62.07.58

O

article

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