Calcul différentiel pour les langues de la logique : Théorie et applications de André Thayse — Avis et clubs de lecture | Booklub