TY - JOUR AU - H. Rasiowa TI - N-lattices and constructive logic with strong negation JO - Fundamenta Mathematicae PY - 1958 SP - 61 EP - 80 VL - 46 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-46-1-61-80/ DO - 10.4064/fm-46-1-61-80 LA - en ID - 10_4064_fm_46_1_61_80 ER -