Философские вопросы современной формальной логики — Проблема взаимоотношения формальной логики и философии, возникающая вместе с возникновением формальной логики, и сейчас привлекает к себе внимание как советских, так и зарубежных философов и логиков.

VHDL для моделирования, синтеза и формальной верификации аппаратуры — Книга не ставит целью проведение исчерпывающего анализа текущего состояния по этим важным направлениям развития САПР.