Tesis
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Registro en:
(Broch.)
Autor
Castro, Milton Augustinis de
Institución
Resumen
Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Doutorado Filosofia Doutor em Filosofia