Математика → Теория → Книги и периодика → Статьи журнала "Квант" → Дополнительные главы математики → Алгоритмы, логика