Lógica – Teorias e Técnicas
Cada um no seu quadrado – Métodos analíticos e árvores de refutação
Diego Fernandes