RUS
ENG
Full version
VIDEO LIBRARY
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023
12:30
, Hybrid Format (MI RAS + Zoom)
Mezhirov's game for intuitionistic logic and its variations
Ivan Pyltsyn
https://youtu.be/J0NDD32jdq4
Language:
English
©
Steklov Math. Inst. of RAS
, 2024