代數邏輯

喺數學邏輯入面，代數邏輯係用抽象代數嚟到形式化邏輯。

抽象代數
數學邏輯