08 02 2018 Математическая логика Алгебра высказываний