On constructible falsity in the constructive logic with strong negation

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

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