RUS  ENG
Полная версия
ВИДЕОТЕКА

Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
13 июня 2023 г. 10:00, Hybrid Format (MI RAS + Zoom)


Constructive interpretations of logical and logical-mathematical languages

Valeri Plisko


https://youtu.be/J0NDD32jdq4


Язык доклада: английский


© МИАН, 2024