RUS
ENG
Full version
SEMINARS
May 22, 2024
18:15
, Steklov Mathematical Institute, Room 530 (8 Gubkina)
О разрешимых фрагментах некоторых логических систем
S. L. Kuznetsov
,
S. O. Speranski
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
©
Steklov Math. Inst. of RAS
, 2024