Pontifícia Universidade Católica do Paraná

Centro de Ciências Exatas e Tecnologia

Curso de Engenharia da Computação

Programa de Aprendizagem: Lógica Matemática

Professor Emerson Paraíso