Return to search

Provas de normalização para a logica classica

Orientador : Luiz Carlos P. D. Pereira / Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T22:58:23Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_D.pdf: 9082634 bytes, checksum: c9505e5aace28913be4668f2a0203745 (MD5)
Previous issue date: 1990 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280559
Date11 December 1990
CreatorsMassi, Cosme Damião Bastos
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Pereira, Luiz Carlos P. D, Pereira, Luiz Carlos P. D.
Publisher[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format109f. : il., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds