Defesa de Tese de Jose Eduardo de Almeida Moura

Um estudo de C omega em calculo de sequentes e dedução natural