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

Description

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T03:51:10Z (GMT). No. of bitstreams: 1
Castro_MiltonAugustinisde_D.pdf: 2474337 bytes, checksum: 7ed081ca3994305f5b416383e9264734 (MD5)
Previous issue date: 2004 / Doutorado / Filosofia / Doutor em Filosofia

Links & Downloads

1. (Broch.)
2. CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. 307p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280080>. Acesso em: 4 ago. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280080

Tags

Costa, Newton Carneiro Affonso da, 1929-

Lógica - Estudo e ensino

Lógica simbólica e matemática

Lógica matemática não-clássica

Logica de primeira ordem

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280080
Date	29 June 2004
Creators	Castro, Milton Augustinis de
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, D'Ottaviano, Itala Maria Loffredo, 1944-, Costa, Newton Carneiro Affonso da, Alves, Daniel Durante Pereira, Feitosa, Hercules de Araujo
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	307p. : il., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess