Tese de Angela Pereira Rodrigues Moreira

Sobre traduções entre lógicas : relações entre traduções conservativas e traduções contextuais abstratas