A Propositional Constructive Logic of Evidence (2024)
Universidad de Antioquia