| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
|
|||
|
|
|||
|
Primitive recursive reverse mathematics Marta Fiori Carones Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk |
|||
|
Язык доклада: английский |
|||