Resumo das Regras para a Dedução Natural
Author
Luiz Carlos Vieira
License
Creative Commons CC BY 4.0
Abstract
Resumo das Regras para a Dedução Natural
Material de aula da disciplina MAC0239 - Introdução à Lógica e Verificação de Programas (Agosto de 2015)