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