Resumo das Regras para a Dedução Natural

Author
Luiz Carlos Vieira
View Count
1420
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)

Resumo das Regras para a Dedução Natural