代數邏輯

出自維基百科,自由嘅百科全書

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