|
|
Seminars
"Proof Theory" and "Logic Online Seminar"
November 30, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk
|
|
|
|
|
|
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
A. A. Zapryagaev |
Number of views: |
This page: | 120 |
|
|
|