代數邏輯
維基百科,自由的
encyclopedia
在
數理邏輯
中,
代數邏輯
使用
抽象代數
方法形式化
邏輯
。