Stav dette: Логическое проектирование дискретных устройств: сборник научных трудов