GitHub repository: Hei-Lima/exercicioslogica
Primary language: Python
Created: 2024-04-03T00:10:33Z
Description: Resolução e prova das resoluções (feitas por programa) dos exercícios do livro Introdução à Lógica Matemática para Alunos de Computação.