|
СЕМИНАРЫ |
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
|
|||
|
Лекция 7. Интерполяционное свойство Линдона и циклические доказательства в исчислении секвенций С. Л. Кузнецов, Д. С. Шамканов |
|||
|