Defesa de Tese de Doutorado: Systems for provability and countermodel generation in Minimal Implicational Logic

Autor: Jefferson de Barros Santos

Orientador: Edward Hermann Haeusler

Data e Hora: 18/05/2017 às 09:00

Local: RDC511

Categorias: Teses e Dissertações