O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Orientador: Carlos Alberto Lungarzo === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239...

Full description

Bibliographic Details
Main Author: Castro, Milton Augustinis de
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1998
Subjects:
Online Access:CASTRO, Milton Augustinis de. O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn. 1998. 166f. 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/281744>. Acesso em: 24 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/281744