Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Cecylia Rauszer Fundamenta Mathematicae 83 (1974), 219-249 DOI: 10.4064/fm-83-3-219-249