Stav dette: Абстрактная и стркутурная теория релейных устройств. Автоматизация логического синтеза