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