Para uma teoria de traduções entre logicas cumulativas
Orientador: Itala Maria Loffredo D'Ottaviano === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-08-02T21:14:26Z (GMT). No. of bitstreams: 1 Scheer_MauroCesar_M.pdf: 5841295 bytes, checksum: 0ec03e18461fd...
Main Author: | Scheer, Mauro Cesar |
---|---|
Other Authors: | UNIVERSIDADE ESTADUAL DE CAMPINAS |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
2002
|
Subjects: | |
Online Access: | SCHEER, Mauro Cesar. Para uma teoria de traduções entre logicas cumulativas. 2002. 108 p. 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/282041>. Acesso em: 2 ago. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/282041 |
Similar Items
-
Traduções conservativas
by: Feitosa, Hercules de Araujo
Published: (1997) -
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
by: Castro, Milton Augustinis de
Published: (1998) -
Semanticas de traduções possiveis
by: Almeida, João Marcos de
Published: (1999) -
Sobre o metodo dos tableaux em logicas polivalentes finitarias
by: Carnielli, Walter Alexandre, 1952-
Published: (1982) -
Valorações para alguns sistemas de logica do tempo
by: Mortari, Cezar Augusto
Published: (1982)