Hei-Lima / exercicioslogica

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.

https://hei-lima.github.io/exercicioslogica/

Geek Repo

Github PK Tool