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: c9505e5aace28913be4668f2a...

Full description

Bibliographic Details
Main Author:	Massi, Cosme Damião Bastos
Other Authors:	UNIVERSIDADE ESTADUAL DE CAMPINAS
Format:	Others
Language:	Portuguese
Published:	[s.n.] 1990
Subjects:	Lógica - Estudo e ensino Filosofia
Online Access:	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. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280559

id	ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-280559
record_format	oai_dc
spelling	ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-2805592019-01-21T20:12:45Z Provas de normalização para a logica classica Massi, Cosme Damião Bastos UNIVERSIDADE ESTADUAL DE CAMPINAS Pereira, Luiz Carlos P. D Pereira, Luiz Carlos P. D. Lógica - Estudo e ensino Filosofia 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 1990 2018-07-13T22:58:23Z 2018-07-13T22:58:23Z 1990-12-11T00:00:00Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis 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. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280559 por info:eu-repo/semantics/openAccess 109f. : il. application/pdf [s.n.] Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas Programa de Pós-Graduação em Filosofia reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP
collection	NDLTD
language	Portuguese
format	Others
sources	NDLTD
topic	Lógica - Estudo e ensino Filosofia
spellingShingle	Lógica - Estudo e ensino Filosofia Massi, Cosme Damião Bastos 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
author2	UNIVERSIDADE ESTADUAL DE CAMPINAS
author_facet	UNIVERSIDADE ESTADUAL DE CAMPINAS Massi, Cosme Damião Bastos
author	Massi, Cosme Damião Bastos
author_sort	Massi, Cosme Damião Bastos
title	Provas de normalização para a logica classica
title_short	Provas de normalização para a logica classica
title_full	Provas de normalização para a logica classica
title_fullStr	Provas de normalização para a logica classica
title_full_unstemmed	Provas de normalização para a logica classica
title_sort	provas de normalização para a logica classica
publisher	[s.n.]
publishDate	1990
url	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. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280559
work_keys_str_mv	AT massicosmedamiaobastos provasdenormalizacaoparaalogicaclassica
_version_	1718869555581812736

Provas de normalização para a logica classica

Similar Items