| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
|
|||
|
|
|||
|
Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него. Л. Д. Беклемишев, Ф. Н. Пахомов |
|||
|
|
|||
