| L'intelligence et le calcul | Jean-Paul Delahaye | Belin-"Pour la science" | 2002 | 192 |
| La tradition de la mathesis universalis | Jean-Claude Dumoncel | Unebévue éd. | 2002 | 205 |
| Logique et théorie des systèmes digitaux | André Thayse | Hermès science publications | 2002 | 272 |
| Introduction à la logique | Christophe Raffalli, Karim Nour, René David | Dunod | 2001 | 332 |
| L'apprentissage des sériations | Francine Jaulin-Mannoni | APECT | 2001 | 127 |
| Gödel, une révolution en mathématiques | André Delessert | Presses polytechniques et universitaires romandes | 2000 | 268 |
| La logique ou L'art de raisonner | René Lalement, Yannis Delmas-Rigoutsos | Éd. le Pommier | 2000 | 159 |
| Logique Volume 3 | André Thayse, Pascal Gribomont, Paul Gochet | Hermès science publications | 2000 | 394 |
| Logique symbolique | Xavier Verley | Ellipses | 1999 | 144 |
| Logique élémentaire | Jacques Zahnd | Presses polytechniques et universitaires romandes | 1998 | 430 |
| Logique et fondements des mathématiques | Yvon Gauthier | Diderot éd. | 1997 | 174 |
| Journées de logique et philosophie | Journées de logique et de philosophie (1991 ; Aix-en-Provence, Bouches-du-Rhône), Séminaire d'épistémologie comparative. Aix-en-Provence, Bouches-du-Rhône | Publications de l'Université de Provence | 1996 | 201 |
| Logique et complexité | Michel de Rougemont, Richard Lassaigne | impr. Hermes | 1996 | 322 |
| Quelques éléments de logique en classe de première | Institut de recherche sur l'enseignement des mathématiques. Groupe Lycée. Besançon | Institut de recherche sur l'enseignement des mathématiques [de Besançon] | 1996 | 18 |
| Éléments de logique formelle | Gérard Chazal | impr. Hermes | 1996 | 224 |
| Logique, informatique et paradoxes | Jean-Paul Delahaye | Pour la Science | 1995 | 158 |
| Colloque de logique mathématique | Laboratoire de logique, algorithmique et informatique. Clermont-Ferrand, Logic colloquium (1994 ; Clermont-Ferrand) | Université d'Auvergne, Laboratoire de logique, algorithmique et informatique | 1994 | 132 |
| Information, complexité et hasard | Jean-Paul Delahaye | impr. Hermes | 1994 | 275 |
| Logique Volume 2 | Pascal Gribomont, Paul Gochet | impr. Hermes | 1994 | 351 |
| Logique et mathématiques pour l'informatique et l'IA | Christian Jacquemin | Masson | 1994 | 238 |
| Initiation au raisonnement mathématique | Jean-Claude Dupin, Jean-Luc Valein | A. Colin | 1993 | 143 |
| Logique et fondements de l'informatique | Michel de Rougemont, Richard Lassaigne | impr. Hermes | 1993 | 248 |
| Logique mathématique | Daniel Lascar, Jean-Louis Krivine, René Cori | Masson | 1993 | 347 |
| Introduction à la logique formelle et symbolique | Jean Salem | F. Nathan | 1992 | 141 |
| Logique Volume 1 | Pascal Gribomont, Paul Gochet | impr. Hermes | 1992 | 456 |
| Théorie des langages | Myriam Noureddine | Office des publications universitaires | 1992 | 233 |
| De la logique interne | Yvon Gauthier | J. Vrin | 1991 | 140 |
| Logique et informatique, une introduction | Bruno Courcelle, Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi), Maurice Nivat | Institut national de recherche en informatique et en automatique | 1991 | 257 |
| Systèmes formels | Claude Benzaken | Masson | 1991 | 166 |
| Logique | Bernard Ruyer, Jean Largeault | Presses universitaires de France | 1990 | 222 |
| Logique, réduction, résolution | René Lalement | Masson | 1990 | 370 |
| Ouvrage de dame | Francine Jaulin-Mannoni | APECT [Association pour une éthique de la connaissance et de sa transmission] | 1990 | 418 |
| Introduction à la logique | François Rivenc, Jacques Bouveresse | Librairie Payot | 1989 | 271 |
| Sur les fondements de la mathématique, fragments | Denis Miéville, Jerzy Kalinowski, Stanisław Leśniewski | impr. Hermes | 1989 | 148 |
| Approche logique de l'intelligence artificielle 1 | André Thayse | Dunod | 1988 | 385 |
| Introduction à la logique | André Delessert | Presses polytechniques romandes | 1988 | 200 |
| Les Logiques humaines et artificielles | Arnold Kaufmann | impr. Hermes | 1988 | 58 |
| Logique et logistique | Dirk Pereboom | INU press | 1988 | 178 |
| Logiques, catégories et machines | Yves Lafont | Institut national de recherche en informatique et en automatique | 1988 | 124 |
| Séminaire général de logique, 1983-1984 | Daniel Lascar, Françoise Delon, Michel Parigot, Séminaire général de logique (1983 / 1984 ; Paris) | UER de mathématiques [de l'Université Paris 7] | 1988 | 195 |