|
СЕМИНАРЫ |
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
|
|||
|
Замыкающие ординалы и сложность для инфинитарной логики действий С. Л. Кузнецов Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
Аннотация: Инфинитарная логика действий аксиоматизирует эквациональную теорию |