Логика: фрагменты курса лекций. ИФЕ 2024, 11, 245–255.