Logique(s), langages formels et complexité pour l'informatique de Jussien Narendra | Booklub