The law of importation for discrete implications | Publicación