The Basic Constructive Logic for Negation-Consistency | Publicación