| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
|
|||
|
|
|||
|
Лекция 13. Алгоритмическая неразрешимость логик решёток Клини (коммутативный случай) С. Л. Кузнецов, Д. С. Шамканов |
|||
|
|
|||
