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

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


Completeness of the logic HC in a special space

Anastasiia Onoprienko


https://youtu.be/X_gCSRPPFcE


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


© МИАН, 2024