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

Autor:	Castro, Milton Augustinis de
Přispěvatelé:	D'Ottaviano, Itala Maria Loffredo, 1944, Costa, Newton Carneiro Affonso da, Alves, Daniel Durante Pereira, Feitosa, Hercules de Araujo, Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, UNIVERSIDADE ESTADUAL DE CAMPINAS
Rok vydání:	2021
Předmět:	Lógica - Estudo e ensino Lógica matemática não-clássica Lógica simbólica e matemática Logica de primeira ordem Costa Newton Carneiro Affonso da 1929
Zdroj:	Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP
DOI:	10.47749/t/unicamp.2004.335465
Popis:	Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Doutorado Filosofia Doutor em Filosofia
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa608522ce7eabdf54eadff71a6d46e8 https://doi.org/10.47749/t/unicamp.2004.335465 Zobrazit plný text záznamu