RUS  ENG
Full version
VIDEO LIBRARY


April 4, 2024 16:00, Moscow, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom


Конструктивные модели для неклассических предикатных логик. Лекция 1

N. A. Bazhenova, I. Sh. Kalimullinb

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Kazan (Volga Region) Federal University




© Steklov Math. Inst. of RAS, 2024