On constructible falsity in the constructive logic with strong negation
Colloquium Mathematicum, Tome 6 (1958) no. 1, pp. 287-310
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
Affiliations des auteurs :
Andrzej Białynicki-Birula 1 ; H. Rasiowa 1
@article{10_4064_cm_6_1_287_310,
author = {Andrzej Bia{\l}ynicki-Birula and H. Rasiowa},
title = {On constructible falsity in the constructive logic with strong negation},
journal = {Colloquium Mathematicum},
pages = {287--310},
publisher = {mathdoc},
volume = {6},
number = {1},
year = {1958},
doi = {10.4064/cm-6-1-287-310},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-287-310/}
}
TY - JOUR AU - Andrzej Białynicki-Birula AU - H. Rasiowa TI - On constructible falsity in the constructive logic with strong negation JO - Colloquium Mathematicum PY - 1958 SP - 287 EP - 310 VL - 6 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-287-310/ DO - 10.4064/cm-6-1-287-310 LA - en ID - 10_4064_cm_6_1_287_310 ER -
%0 Journal Article %A Andrzej Białynicki-Birula %A H. Rasiowa %T On constructible falsity in the constructive logic with strong negation %J Colloquium Mathematicum %D 1958 %P 287-310 %V 6 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-287-310/ %R 10.4064/cm-6-1-287-310 %G en %F 10_4064_cm_6_1_287_310
Andrzej Białynicki-Birula; H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicum, Tome 6 (1958) no. 1, pp. 287-310. doi: 10.4064/cm-6-1-287-310
Cité par Sources :