Паршин , В.     Теория и практика алгебры логики / В. Паршин // Информатика и образование. - 1999. - №6. - С. 11-20 ББК 74.263.2 Рубрики: Методика информатики Кл.слова (ненормированные): алгебра логики -- формальная логика