Алгебраические и алгоритмические свойства логических исчислений, [в 2 ч.]
русский/Алгебраические и алгоритмические свойства логических исчислений : [в 2 ч.] / С.С. Гончаров, Б.Н. Дроботун, А.А. Никитин ; Учреждение Рос. акад. образования "Ин-т пед. исслед. одаренности детей".Алгебраические и алгоритмические свойства логических исчислений : [в 2 ч.] / С.С. Гончаров, Б.Н. Дроботун, А.А. Никитин.Алгебраические и алгоритмические свойства логических исчислений : [в 2 ч.]. - Изд. 2-е, испр. и доп.Новосибирск/Изд-во Учреждения Российской академии образования "Институт педагогических исследований одаренности детей"/, 2009 ( ). - Изд-во Учреждения Российской академии образования "Институт педагогических исследований одаренности детей", 2009. - ; 20 см.Алгебраические и алгоритмические свойства логических исчислений : [в 2 ч.]. Изд. 2-е, испр. и доп.Новосибирск, 2009 . - .Математическая логика -- Учебные издания для высших учебных заведений/В12я73-1/