RUS
ENG
Full version
PEOPLE
Plisko Valerii Egorovich
Presentations in Math-Net.Ru
Constructive interpretations of logical and logical-mathematical languages
Valeri Plisko
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023
10:00
©
Steklov Math. Inst. of RAS
, 2024