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 -