Um estudo de C omega em calculo de sequentes e dedução natural | Instituto de Filosofia e Ciências Humanas

Autor:

Jose Eduardo de Almeida Moura

Ano da Defesa:

2001

Orientador:

Ítala Maria Loffredo D'Ottaviano

Tipo / Subtipo:

Tese

Programa: