Knight J. F.,Lachlan A. H.,Soare R.I. ...

Новости

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

17 Февраля, 2025 Конкурс на замещение должности

15 Февраля, 2025 Защита диссертаций

Knight J. F., Lachlan A. H., Soare R.I.

[1984]

Two theorems on degree of models of true arithmetic

J. Symbolic Logic, 49, № 2, 425-436

85.01.55

S

article

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