Constructions and negationless logic | Publicación