| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
|
|||
|
Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных M. N. Rybakovabc a Moscow Institute of Physics and Technology (National Research University), Higher School of Contemporary Mathematics b National Research University Higher School of Economics, Moscow c Tver State University |
|||