Класична математична логіка. Алгебра логіки. Логіка висловлювань ...