Элементы математической логики

Рассматриваются элементы математической логики, алгебра логики, исчисление высказываний, исчисление предикатов и нечеткая логика.