Analiz logičeskich setej i technika bulevych vyčislenij - Utkin, Anatolij Aleksandrovič (rz1, 1979)