Implicational logics in natural deduction systems | Publicación