Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Milton Augustinis de Castro
TESE
Português
(Broch.)
T/UNICAMP C279h
Campinas, SP : [s.n.], 2004.
307p. : il.
Orientador: Itala Maria Loffredo D'Ottaviano
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
D'Ottaviano, Itala Maria Loffredo, 1944-
Orientador
Costa, Newton Carneiro Affonso da, 1929-
Avaliador
Alves, Daniel Durante Pereira, 1968-
Avaliador
Feitosa, Hercules de Araujo
Avaliador
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Milton Augustinis de Castro
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Milton Augustinis de Castro
Exemplares
Nº de exemplares: 3
Não existem reservas para esta obra