RUS  ENG
Полная версия
СЕМИНАРЫ
Неклассические логики
15 февраля 2021 г. 11:30, г. Москва, МФТИ - МИАН

Лекция 2. Полнота интуиционистской логики относительно семантики Крипке

Т. Л. Яворская


https://youtu.be/e7aIaMWPXpw

© МИАН, 2024