Как называется раздел математики, изучающий высказывания с точки зрения их логических значений?

• Алгебра физика
• Алгебра логики
• Алгебра и начала анализа
• Логическая теория