Introduction à la logique: théorie de la démonstration, 2004. ,
Saving Truth From Paradox, 2008. ,
, Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Abhandlungen Der Fries'schen Schule, vol.2, pp.300-334, 1907.
The Logical Paradoxes and the Law of Excluded Middle, The Philosophical Quarterly, vol.33, issue.131, pp.160-165, 1983. ,
Philosophy of Logic, 1986. ,
Philosophical Papers, 1990. ,
, The Principles of Mathematics. Routledge Classics. Routledge, 1903.
Analyse, 1. Théorie des ensemble et topologie. Collection Enseignement des sciences 42, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-00823175
Core Logic, 2017. ,
A Problem of Normal Form in Natural Deduction, Mathematical Logic Quarterly, vol.46, issue.1, pp.121-124, 2000. ,
Elements of Logical Reasoning, 2013. ,
, Archives Poincaré, UMR 7117 du CNRS, 91 bd Libération, vol.54000