Logique mathématique, Youcef Belaifa · Super Livre