Dissertação de Mauro Cesar Scheer

Para uma teoria de traduções entre lógicas cumulativas