The Basic Constructive Logic for Absolute Consistency | Publicación