«Математическая логика и теория алгоритмов». Алгебра логики. Часть 2 ...