RUS
ENG
Полная версия
СЕМИНАРЫ
Неклассические логики
15 февраля 2021 г.
11:30
, г. Москва, МФТИ - МИАН
Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская
https://youtu.be/e7aIaMWPXpw
©
МИАН
, 2024