Théorie de la démonstration — 10 œuvres
← Tous les sujets Théorie de la démonstration Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Œuvres classées 10
Période 1990–2024
Seules figurent ici les œuvres que la BNF a explicitement rattachées à ce sujet (vedette RAMEAU du dépôt légal). Beaucoup d'ouvrages concernés n'en portent pas : cette liste n'est pas exhaustive.
Œuvres récentes Titre Auteur(s) Éditeur Année Pages Introduction aux calculs des séquents Jean B. Murhega "Academia" 2024 149 Oeuvres choisies Volume I Andrew Arana , David Rabouin , Emmylou Haffner , Michael Detlefsen libr. philosophique J. Vrin 2024 371 Introduction à la théorie de la démonstration Agathe Rolland , David Appadourai , Paolo Mancosu , Richard Zach , Sergio Galvan , Yacine Aggoune libr. philosophique J. Vrin 2022 588 CQFD Yan Pradeau , Yves Benjamin E. Flammarion 2020 383 Comment découvrir une démonstration pourtant longue et complexe Timothy Gowers , Timothy Gowers Bibliothèque nationale de France 2019 — Une histoire de l'imaginaire mathématique Carlos Álvarez , Jean Dhombres Hermann 2011 — Vers le théorème fondamental de l'algèbre et sa démonstration par Laplace en 1795 Carlos Álvarez , Jean Dhombres Hermann 2011 377 Raisonnements divins Günter M. Ziegler , Karl H. Hofmann , Martin Aigner , Nicolas Puech Springer Verlag France 2006 — Heinrich Hertz, l'administration de la preuve Dominique Pestre , Michel Atten Presses universitaires de France 2002 127 La démonstration mathématique dans l'histoire Colloque inter-IREM Épistémologie et histoire des mathématiques (07 ; 1989 ; Besançon) IREM de Lyon 1990 496