| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
|
|||
|
|
|||
|
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 2 К. А. Ковалев, Л. В. Дворкин |
|||
|
Аннотация: Аннотация серии докладов на странице первого доклада. |
|||