RUS
ENG
Full version
SEMINARS
November 21, 2018
Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
Yu. V. Savateev
https://youtu.be/9ys1IhzqSF8
©
Steklov Math. Inst. of RAS
, 2024