Типы формул в алгебре высказываний: основы и примеры