| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Устранимость тезиса Чёрча в доказательствах негативных формул в интуиционистской теории множеств А. Г. Владимиров |
|||