Logique mathématique, Daniel Lascar, René Cori · Super Livre