代数逻辑
维基百科,自由的
encyclopedia
在
数理逻辑
中,
代数逻辑
使用
抽象代数
方法形式化
逻辑
。