Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence
Editeur(s) :
Vrin
Collection(s) :
Mathesis
Rayon(s) :
Sciences
Public(s) :
Public motivé
Ean :
9782711630912
Date de parution :
13/12/2022
Résumé :
Une introduction à la théorie de la démonstration donnant des détails des preuves ainsi que de nombreux exemples et exercices afin de faciliter la compréhension des lecteurs. Elle porte à la fois sur la théorie structurelle et sur la théorie ordinale de la démonstration. ©Electre 2023
Commandable, envoyé en 4 à 6 jours
38,00 €
Livraison à partir de 4 € en France métropolitaine