TY  - BOOK
AU  - Гончаров, С. С.
AU  - Дроботун, Б. Н.
AU  - Никитин, А. А.
TI  - Алгебраические и алгоритмические свойства логических исчислений
PY  - 2009///
CY  - Новосибирск
PB  - Изд-во Учреждения Российской академии образования "Институт педагогических исследований одаренности детей"
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - RU\NLR\auth\6620994
KW  - В12я73-1
ER  -