(April 4–5, 2024, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom, Moscow) |
, Moscow, April 4–5, 2024
-
Конструктивные модели для неклассических предикатных логик. Лекция 1
N. A. Bazhenov, I. Sh. Kalimullin
April 4, 2024 16:00
Moscow, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom

-
Конструктивные модели для неклассических предикатных логик. Лекция 2
N. A. Bazhenov, I. Sh. Kalimullin
April 5, 2024 16:00
Moscow, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom

© , 2025