| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
|
|||
|
|
|||
|
Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation K. A. Kovalev |
|||
|
|
|||