Логика конечного и бесконечного: арифметика, сложность и анализ ординалов
Номер гранта: | нет данных |
Область научного знания: | нет данных |
Тип конкурса: | (Международные проекты)(международные проекты) конкурсы международных проектов |
Год выполнения: | 2009г. |
Руководитель: | Матиясевич Юрий |
Статус заявки: | поддержана |