Provas de normalização para a logica classica

Provas de normalização para a logica classica

Cosme Damião Bastos Massi

TESE

Português

T/UNICAMP M385p

Campinas, SP : [s.n.], 1990.

109f. : il.

Orientador : Luiz Carlos P. D. Pereira

Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Não informado

Abstract: Not informed.

Provas de normalização para a logica classica

Cosme Damião Bastos Massi

										

Provas de normalização para a logica classica

Cosme Damião Bastos Massi

    Exemplares

    Nº de exemplares: 3
    Não existem reservas para esta obra