On constructible falsity in the constructive logic with strong negation

Wydawnictwa / Czasopisma IMPAN / Colloquium Mathematicum / Wszystkie zeszyty

Andrzej Białynicki-Birula, H. Rasiowa Colloquium Mathematicum 6 (1958), 287-310 DOI: 10.4064/cm-6-1-287-310