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 |
|---|---|---|---|---|
| Vers les mathématiques d'aujourd'hui | Michel Garcia | Calvage & Mounet | 2023 | 760 |
| Logique | François Schwarzentruber, Pierre Le Barbenchon, Sophie Pinchinat |
| 2022 |
| 286 |
| Les principes des mathématiques | Louis Couturat | Éditions localement transcendantes | 2021 | 357 |
| Louis Couturat | Anne-Françoise Schmid, Louis Couturat, Oliver Schlaudt | Birkhäuser | 2021 | 406 |
| L'expert du concours SESAME | Dorone Parienti | Ellipses | 2020 | 144 |
| Théorie des ensembles et logique mathématique | Jacques Patarin | Ellipses | 2020 | 292 |
| Comment découvrir une démonstration pourtant longue et complexe | Timothy Gowers, Timothy Gowers | Bibliothèque nationale de France | 2019 | — |
| Logique mathématique 2 | Daniel Lascar, Jean-Louis Krivine, René Cori | Dunod | 2019 | 347 |
| Défis de logique et de mathématiques | Antoine Houlou-Garcia | Larousse | 2017 | 95 |
| Homo Informatix | Luc De Brabandere | Éd. le Pommier | 2017 | 137 |
| CQFD | Burkard Polster | Marabout | 2016 | 63 |
| Les bases du raisonnement numérique | Caroline Fiche, Claire Mercier, Emmanuel Hetru | ORSEU | 2016 | 297 |
| Logique et raisonnement | Michael Freund | Ellipses | 2016 | 165 |
| La logique au fil de l'eau | Institut de recherche sur l'enseignement des mathématiques. Groupe de Logique. Brest, Finistère | IREM de Brest-Université de Bretagne occidentale | 2014 | 110 |
| Le génie interrrompu d'Alan Turing | Bernard Chazelle, Bernard Chazelle | Bibliothèque nationale de France [prod.] | 2014 | — |
| Le rêve de la raison | Javier Fresán | RBA France | 2013 | 141 |
| Preuves sans mots | Jean-Marc Lévy-Leblond, Jean-Paul Delahaye, Roger B. Nelsen | Hermann | 2013 | 276 |
| La logique de Carpentras | Pierre Gassendi, Sylvie Taussig | Brepols | 2012 | 336 |
| La logique, un aiguillon pour la pensée | Jean-Paul Delahaye | Belin-"Pour la science" | 2012 | 199 |
| Introduction pratique aux logiques classiques | Maurice Bernadet | Hermann | 2010 | 203 |
| Les démonstrations et les algorithmes | Gilles Dowek | Éd. de l'École polytechnique | 2010 | 193 |
| Traité de logique algorithmique | Louis Couturat, Mohsen Sakhri, Oliver Schlaudt | Birkhäuser | 2010 | 317 |
| Complexité aléatoire et complexité organisée | Groupe Sciences en questions. France, Jean-Paul Delahaye | Éditions Quae | 2009 | 75 |
| Essai de logique ternaire sémiotique et philosophie | Eugen Cosinschi, Micheline Cosinschi | P. Lang | 2009 | 199 |
| Logique formelle | Marc Peeters, Sébastien Richard | Mardaga | 2009 | 236 |
| Hugh MacColl et la naissance du pluralisme logique | Juan Redmond, Shahid Rahman | College publications | 2008 | 485 |
| Lecture de Quine | François Rivenc | College publications | 2008 | 101 |
| Logique dialogique Volume 1 | Juan Redmond, Matthieu Fontaine | College publications | 2008 | 126 |
| Hugh MacColl | Juan Redmond, Shahid Rahman | College publications | 2007 | 478 |
| Le point aveugle Tome 2 | Jean-Yves Girard | Hermann | 2007 | — |
| Menteur qui comme Ulysse | Achille Tortue, Piergiorgio Odifreddi | Belin-"Pour la science" | 2007 | 223 |
| Complexités | Jean-Paul Delahaye | Belin-"Pour la science" | 2006 | 256 |
| Le point aveugle Tome 1 | Jean-Yves Girard | Hermann | 2006 | 280 |
| Logique(s), langages formels et complexité pour l'informatique | Narendra Jussien | Hermès science publications-Lavoisier | 2006 | 313 |
| Raisonnements divins | Günter M. Ziegler, Karl H. Hofmann, Martin Aigner, Nicolas Puech | Springer Verlag France | 2006 | — |
| Histoire de la logique | Jean-Pierre Belna | Ellipses | 2005 | 128 |
| Calcul différentiel pour les langues de la logique | André Thayse | Hermès science publications | 2004 | 222 |
| La logique du contenu sur la logique interne | Yvon Gauthier | Éd. l'Harmattan | 2004 | 177 |
| Carnap, le symbolique et la philosophie | Xavier Verley | Éd. l'Harmattan | 2003 | 355 |
| C. logique ! | Technologies nouvelles et transferts, Yvon Zafraniec | Technologies nouvelles et transferts | 2002 | — |
