Lire et écrire des textes mathématiques vers la rédaction des démonstrations by Institut de recherche en informatique et systèmes aléatoires (Rennes) | Menrva Books | MenrvaBooks