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