RUS
ENG
Full version
SEMINARS
January 29, 2026
13:00
, Physical-Technical Lyceum, Saratov
Predicate Calculus
A. I. Bufetov
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
©
Steklov Math. Inst. of RAS
, 2026
