RUS
ENG
Полная версия
ВИДЕОТЕКА
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
13 июня 2023 г.
12:30
, Hybrid Format (MI RAS + Zoom)
Mezhirov's game for intuitionistic logic and its variations
Ivan Pyltsyn
https://youtu.be/J0NDD32jdq4
Язык доклада:
английский
©
МИАН
, 2024