Algebraic treatment of the notion of satisfiability

• 1 January 1953
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 40, 62-95
• https://doi.org/10.4064/fm-40-1-62-95

Abstract