On constructible falsity in the constructive logic with strong negation
Białynicki-Birula, Andrzej ; Rasiowa, H.
Colloquium Mathematicae, Tome 6 (1958), p. 287-310 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1958-01-01
EUDML-ID : urn:eudml:doc:210375 
@article{bwmeta1.element.bwnjournal-article-cmv6i1p287bwm,
     author = {Andrzej Bia\l ynicki-Birula and H. Rasiowa},
     title = {On constructible falsity in the constructive logic with strong negation},
     journal = {Colloquium Mathematicae},
     volume = {6},
     year = {1958},
     pages = {287-310},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-cmv6i1p287bwm}
}

Białynicki-Birula, Andrzej; Rasiowa, H. On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicae, Tome 6 (1958) pp. 287-310. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-cmv6i1p287bwm/