Davis M. ...

Новости

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

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

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

Davis M.

[1953]

Arithmetical problems and recursively enumerable predicates

J. Symbolic Logic, 18, № 1, 33-41 (Русский перевод в сб. Математика , 1964, 8, № 5, 15-22.)

54. 1532

article

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