RUS
ENG
Full version
SEMINARS
Logical Seminar of the Manin Laboratory
September 10, 2025
14:00
, Dolgpoprudny
mathematical logic
Модальные предикатные логики дедекиндовых порядков
M. N. Rybakov
Moscow Institute of Physics and Technology (National Research University), Higher School of Contemporary Mathematics
©
Steklov Math. Inst. of RAS
, 2025