Apresentações formais da lógica hegeliana Conceito