TY - JOUR AU - Arthur H. COPELAND TI - Implicative Boolean Algebra JO - Mathematische Zeitschrift PY - 1950 SP - 285 EP - 290 VL - 53 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZ_1950__53_169189/ ID - MZ_1950__53_169189 ER -