Mathématiques et métaphysique chez Descartes, Paris, PUF, 1960, rééd. PUF, 1987.
La Philosophie de l'algèbre, Vol. I: Recherches sur quelques concepts et méthodes de l'Algèbre Moderne. Paris, PUF, 1962, rééd. 1993.
De la Logique à la théologie. Cinq études sur Aristote, Paris, Flammarion, 1967, nouvelle version remaniée et augmentée par l'auteur / editée et prefacée par T. Benatouil. - Louvain-La-Neuve, Peeters, 2008.
Leçons sur la première philosophie de Russell, Paris, Armand Colin, 1968, in reference to The Principles of Mathematics.
Rebâtir l'Université, Paris, Fayard, 1968.
La logique et le monde sensible. Étude sur les théories contemporaines de l'abstraction, Paris, Flammarion, 1971.
Le Dieu d'Anselme et les apparences de la raison, Paris, Aubier, 1971.
Nécessité ou contingence. L'aporie de Diodore et les systèmes philosophiques, Paris, Minuit, 1984, réed. 1997.
Éléments de poétique, Paris, Vrin, 1991.
Trois Histoires de guerre, Besançon, Cêtre, 1992.
Dettes, Besançon, Cêtre, 1992.
L'intuitionnisme kantien, Paris, Vrin, 1994.
Le Miroir de Venise, Paris, Julliard, 1995.
«Nouvelles réflexions sur l'argument dominateur: une double référence au temps dans la seconde prémisse». In: Philosophie 55 (1997), p.14–30.
Mathématiques pythagoriciennes et platoniciennes. Recueil d'études, Paris, Albert Blanchard, coll. Sciences dans l'histoire, 2001.
