Tesis
Provas de normalização para a logica classica
Registro en:
Autor
Massi, Cosme Damião Bastos
Institución
Resumen
Orientador : Luiz Carlos P. D. Pereira Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Não informado Abstract: Not informed. Doutorado Doutor em Filosofia