Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик», г. Москва, 4–5 апреля 2024 г.