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