Retour au catalogue
Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence
De Paolo Mancosu, Sergio Galvan, Richard Zach
ISBN-13
9782711630912
Éditeur
Librairie philosophique J. Vrin (Paris)
Date de publication
01/01/2022
Résumé
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
0 annonce en vente actuellement
