RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
October 3, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom


Строго позитивная логика конечных линейных порядков

Svyatlovsky M.

Department of Innovations and High Technology, Moscow Institute of Physics and Technology


© Steklov Math. Inst. of RAS, 2024