|
VIDEO LIBRARY |
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
|
|||
|
О существенности параметров в схеме аксиом свертки в арифметике второго порядка V. G. Kanovei |
|||
|