Vista do Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic

Voltar aos Detalhes do Artigo Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic Baixar ##common.downloadPdf##