cylindric algebra中文
圓柱代數
- algebra: n. 代數學。
百科釋義
The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic.
詳細百科解釋