Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Sergio Galvan (Auteur), Paolo Mancosu (Auteur), Richard Zach (Auteur), Yacine Aggoune (Traduction)
Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d'aide à...
Lire la suite
-5% en retrait magasin fnac avec fnac+
Voir le produit
-
Type
Etude
-
Format
broché
-
Editeur
Vrin
-
Parution
13/12/2022