Tese de Milton Augustinis de Castro

Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa