Arthur Milchior
![](https://images.math.cnrs.fr/wp-content/themes/MMDWC/_/img/placeholder.jpg)
Découvrez tous ses articles
![](https://images.math.cnrs.fr/wp-content/uploads/2018/09/arton4518-800x450.png)
Piste bleue
Le démineur et la logique, réduction et équivalence
par
Arthur Milchior
6 septembre 2018
Bien illustré
> 30 minutes