Proslogion : Allocution sur l'existence de Dieu. Flammarion, 1993. ,
Deduction : Introductory Symbolic Logic, 2003. ,
Introduction à la logique : théorie de la démonstration, 2004. ,
, Présentation, bibliographie et chronologie par Jean-Marie Beyssade et Michelle Beyssade, 1641.
The Cartesian Circle, Journal of the History of Ideas, vol.16, issue.3, 1955. ,
Descartes selon l'ordre des raisons, volume I, II. Aubier, 1953. ,
Critique de la raison pure. Flammarion, impr, 2006. ,
Free Logic : Selected Essays, p.76, 2002. ,
The Cartesian Circle, Philosophy and Phenomenological Research, vol.26, issue.1, pp.80-89, 1965. ,
Introducing Philosophy. Routledge, 2014. ,
Preuves intuitionnistes touchant la première philosophie, pp.149-184, 2013. ,
St. Anselm's Ontological Argument Succumbs to Russell's Paradox, International Journal for Philosophy of Religion, vol.52, issue.3, pp.123-128, 2002. ,
Elements of Logical Reasoning, 2013. ,
Le Dieu d'Anselme et les apparences de la raison, Collection Analyse et Raisons. Aubier Montaigne, vol.14, 1971. ,
Trois philosophes intuitionnistes : Epicure, Descartes et Kant. Dialectica, vol.35, pp.21-41, 1981. ,
Nécessité ou contingence : l'aporie de Diodore et les systèmes philosophiques, 1984. ,
, What Are Philosophical Systems ? Cambridge University Press, 1986.
Descartes : The Project of Pure Enquiry, 2005. ,
, Archives Poincaré, UMR 7117 du CNRS, ? 91 bd Libération, p.54000