|
|
Seminars
"Proof Theory" and "Logic Online Seminar"
December 5, 2016 18:30–20:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk
|
|
|
|
|
|
Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Zapryagaev A. A. |
Number of views: |
This page: | 118 |
|
|
|