|
|
Неклассические логики
15 февраля 2021 г. 11:30–12:55, г. Москва, МФТИ - МИАН
|
|
|
|
|
|
Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская |
Видеозаписи: |
|
MP4 |
1,095.7 Mb |
|
MP4 |
2,106.1 Mb |
Количество просмотров: |
Эта страница: | 409 | Видеофайлы: | 151 | Youtube: | |
|
|
|