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 |
|---|---|---|---|---|
| Calculs de signification par une logique d'opérateurs | Benoît Sauzay, Gaëll Guibert, Jean-Pierre Desclés | CEPADUES-éditions | 2016 | 651 |
| Logique combinatoire et [lambda]-calcul | Benoît Sauzay |
| CEPADUES-éditions |
| 2016 |
| 269 |
| Instruction après instruction | Jean-Jacques Mercier | Ellipses | 2008 | 174 |
| Séquence après séquence | Jean-Jacques Mercier | Ellipses | 2006 | 269 |
| Bit après bit | Jean-Jacques Mercier | Ellipses | 2005 | 307 |
| Logique combinatoire et séquentielle | Claude Brie | Ellipses | 2002 | 314 |
| La logique combinatoire | Jean-Pierre Ginisti | Presses universitaires de France | 1997 | 126 |
| Logique combinatoire | Centre d'élaboration des moyens et enseignement du Québec, Serge Paquet | Eurilor multimédia | 1996 | 254 |
| Langages applicatifs, langues naturelles et cognition | Jean-Pierre Desclés | impr. Hermes | 1990 | 362 |
| Expériences de logique digitale | Fernand Huré | Éditions techniques et scientifiques françaises | 1981 | 213 |
| Logique et automatisme | Daniel Fredon, Henri Mouret, Michel Bridier | CEDIC | 1980 | — |
| Logique et automatisme [1] | Daniel Fredon, Henri Mouret, Michel Bridier | CEDIC | 1980 | 192 |
| Cours de logique mathématique Tome 2 | Roland Fraïssé | Gauthier-Villars | 1972 | 177 |
| Cours de logique mathématique Tome 1 | Roland Fraïssé | Gauthier-Villars | 1971 | 199 |
