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