Normalização e normalização forte para a logica classica de primeira ordem

Description

Orientador : Luiz Carlos P. D. Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-14T16:48:24Z (GMT). No. of bitstreams: 1
Massi_CosmeDamiaoBastos_M.pdf: 1123334 bytes, checksum: 84d7b2ad0e7b5c1f7bdb7f89710349cc (MD5)
Previous issue date: 1988 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Links & Downloads

1. MASSI, Cosme Damião Bastos. Normalização e normalização forte para a logica classica de primeira ordem. 1988. 109f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280980>. Acesso em: 14 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280980

Tags

Lógica - Estudo e ensino

Filosofia

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280980
Date	31 May 1989
Creators	Massi, Cosme Damião Bastos
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Pereira, Luiz Carlos P. D, Pereira, Pereira 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/masterThesis
Format	109f., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess