Leve três e pague apenas dois com o cupão TRIPLOPT
Constraint Solving Over Multi-valued Logics livro usado