Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
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. http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-287-310/
Cité par Sources :