Downey R. G., Lempp S. ...

Новости

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

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

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

Downey R. G., Lempp S.

[1999]

On the proof theoretical strength of the Dushnik-Miller theorem for countable linear orderings

Recursive Theory and Complexity, Kazan’97 Workshop, (Kazan, 1997), v. 2, 55-57, de Gruyter

?

article

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