Cours de logique mathématique, Roland Fraïssé · Super Livre