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