Что является объектом изучения алгебры логики?

• Законы
• Слова
• Теоремы
• Высказывания
• Доказательства