Seminars: Yu. V. Savateev, D. S. Shamkanov, Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 10, 2017 18:30, Moscow, Steklov Mathematical Institute

Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика

Yu. V. Savateev^a, D. S. Shamkanov^b

^a National Research University "Higher School of Economics" (HSE), Moscow
^b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Number of views:
This page:	203