TY - JOUR AU - Giovanni Coray TI - Validité dans les algèbres de Boole partielles. JO - Commentarii mathematici Helvetici PY - 1970 SP - 49 EP - 82 VL - 45 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMH_1970__45_139423/ ID - CMH_1970__45_139423 ER -