| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Scientific session of the Steklov Mathematical Institute dedicated to the results of 2014
|
|||
|
|
|||
|
Циклические выводы для логики доказуемости Гёделя–Лёба D. S. Shamkanov |
|||
|
|
|||
