Describir: Logičeskoje projektirovanije diskretnych ustrojstv /