RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Yu Junhua
Доклады и лекции в базе данных Math-Net.Ru
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г.
11:10
©
МИАН
, 2024