Компьютерное моделирование логических процессов 2-е изд., пер. и доп. Учебник для вузов