Provas de normalização para a logica classica

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

Internet

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

Similar Items