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 |
|---|---|---|---|---|
| Logique, ensembles, catégories | Pierre Ageron | Ellipses | 2000 | 117 |
| Le constructivisme non standard | Jean-Michel Salanskis | Presses universitaires du Septentrion | 1999 | 349 |
| Mathématiques constructives | Henri Lombardi, Institut de recherche sur l'enseignement des mathématiques. Besançon | IREM de Besançon | 1994 | — |
| Extraction de programmes dans le calcul des constructions | Christine Paulin-Mohring | INRIA, Institut national de recherche en informatique et en automatique | 1989 | 228 |
| Mesure d'irrationalité et de transcendance | Roger Apery | E.N.S. | 1981 | — |
| Variabilité locale constructive | Marc Jambon | U.E.R. de mathématiques | 1975 | 112 |
