Informações do curso

Lógica e Métodos Formais para Ciência da Computação.