London
| Année | Titre | Pages |
|---|---|---|
| 2020 | L' imagination | 935 |
| 2019 | Modèles scientifiques et objets théoriques | 294 |
| 2016 | Croyances et significations | 241 |
| 2016 | Un modèle formel de la syllogistique d'Aristote | 101 |
| 2014 | L'arbre du Tractatus | 159 |
| 2014 | La sémantique dialogique | 193 |
| 2011 | Fiction et métaphysique | 224 |
| 2008 | Hugh MacColl et la naissance du pluralisme logique | 485 |
| 2008 | Lecture de Quine | 101 |
| 2008 | Logique dialogique Volume 1 | 126 |
| 2007 | Gottlob Frege | 156 |
| 2007 | Hugh MacColl | 478 |
| 2007 | Prolog, tout de suite ! | 283 |