Provas de normalização para a logica classica

Description

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

Links & Downloads

1. MASSI, Cosme Damião Bastos. Provas de normalização para a logica classica. 1990. 109f. Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280559>. Acesso em: 13 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280559

Tags

Lógica - Estudo e ensino

Filosofia

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280559
Date	11 December 1990
Creators	Massi, Cosme Damião Bastos
Contributors	UNIVERSIDADE 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 Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	109f. : il., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess