Buscar

Mostrando ítems 1-7 de 7

Memória paranaense, entrevista com Newton Carneiro Affonso da Costa, professor e cientista da UFPR

Costa, Newton C. A. da, (Newton Carneiro Afonso da), 1929- (UFPR TV, 2013)

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

Castro, Milton Augustinis de ([s.n.], 2004)

Sobre o calculo diferencial paraconsistente de da Costa

Carvalho, Tadeu Fernandes de ([s.n.], 2004)

Sobre a história da paraconsistência e a obra de da Costa : a instauração da Lógica ParaconsistenteOn the history of paraconsistency and da Costa's work : the establishment of Paraconsistent Logic

Gomes, Evandro Luis, 1976- ([s.n.], 2013)

Uma história da lógica no Brasil

Nobre, Sergio Roberto [UNESP]; Universidade Estadual Paulista (Unesp) (Universidade Estadual Paulista (Unesp), 2007-09-03)

Pretendemos mostrar o desenvolvimento da lógica matemática no Brasil focando principalmente nos sessenta anos iniciais do século XX apresentando obras e estudiosos que contribuíram para a consolidação e o desenvolvimento ...

Uma história da lógica no Brasil

Nobre, Sergio Roberto [UNESP]; Universidade Estadual Paulista (Unesp) (Universidade Estadual Paulista (Unesp), 2007-09-03)

Uma história da lógica no Brasil

Moraes, Carlos Roberto de (Universidade Estadual Paulista (UNESP), 2014)

Buscar

Filtros

Memória paranaense, entrevista com Newton Carneiro Affonso da Costa, professor e cientista da UFPR

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

Sobre o calculo diferencial paraconsistente de da Costa

Sobre a história da paraconsistência e a obra de da Costa : a instauração da Lógica ParaconsistenteOn the history of paraconsistency and da Costa's work : the establishment of Paraconsistent Logic

Uma história da lógica no Brasil

Uma história da lógica no Brasil

Uma história da lógica no Brasil