MAC5787 - Lógicas Não-Clássicas e Aplicações

Curso de pós sobre lógicas modais, temporais e subestruturais