Лекция 3. Разрешимость Int. Секвенциальное исчисление для классической логики высказываний
С. Л. Кузнецов |
Видеозаписи: |
|
MP4 |
2,490.8 Mb |
|
MP4 |
1,403.0 Mb |
Дополнительные материалы: |
|
Adobe PDF |
49.1 Kb |
Количество просмотров: |
Эта страница: | 271 | Видеофайлы: | 92 | Материалы: | 72 | Youtube: | |
|