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