| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Структурная теория доказательств и алгебраическая логика
|
|||
|
|
|||
|
Лекция 2. Теорема об устранении сечения для интуиционистского исчисления высказываний. Теорема Харропа (дизъюнктивная) С. Л. Кузнецов |
|||
|
|
|||
