| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Семантика квазидоказуемости для полных по Крипке расширений логики GL Ф. Н. Пахомов Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||