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