Resumo das Regras para a Dedução Natural

Author
Luiz Carlos Vieira
License
Creative Commons CC BY 4.0
Abstract