Sobre o metodo dos tableaux em logicas polivalentes finitarias

Description

Orientador: Newton Carneiro Affonso da Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1
Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksum: ae2b22dcdbcb64ab500dd273b065caff (MD5)
Previous issue date: 1982 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática

Links & Downloads

1. CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209

Tags

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

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/306209
Date	14 July 2018
Creators	Carnielli, Walter Alexandre, 1952-
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Costa, N. C. A. da, Costa, Newton Carneiro Affonso da, 1929-
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica, Programa de Pós-Graduação em Matemática
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	140f., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess