Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
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.
| 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 |
