| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая
логика»
|
|||
|
|
|||
|
Резолюционные доказательства и монотонные вычисления Д. О. Соколов Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук |
|||
|
|
|||