Terminal de consulta web

Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

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

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