Lógica – Teorias e Técnicas
Quando menos é mais — O teorema da forma normal disjuntiva e suas consequências para a capacidade expressiva
Diego Fernandes