Algebraic treatment of the notion of satisfiability

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

H. Rasiowa, Roman Sikorski Fundamenta Mathematicae 40 (1953), 62-95 DOI: 10.4064/fm-40-1-62-95