Algèbre du calcul propositionnel trivalent de Heyting

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Luiz Monteiro Fundamenta Mathematicae 74 (1972), 99-109 DOI: 10.4064/fm-74-2-99-109