. Anselme, Proslogion : Allocution sur l'existence de Dieu. Flammarion, 1993.

D. Bonevac, Deduction : Introductory Symbolic Logic, 2003.

R. David, K. Nour, and C. Raffalli, Introduction à la logique : théorie de la démonstration, 2004.

R. Descartes, Présentation, bibliographie et chronologie par Jean-Marie Beyssade et Michelle Beyssade, 1641.

W. Doney, The Cartesian Circle, Journal of the History of Ideas, vol.16, issue.3, 1955.

M. Gueroult, Descartes selon l'ordre des raisons, volume I, II. Aubier, 1953.

E. Kant, Critique de la raison pure. Flammarion, impr, 2006.

K. Lambert, Free Logic : Selected Essays, p.76, 2002.

L. E. Rose, The Cartesian Circle, Philosophy and Phenomenological Research, vol.26, issue.1, pp.80-89, 1965.

N. Tennant, Introducing Philosophy. Routledge, 2014.

J. Vidal-rosset, Preuves intuitionnistes touchant la première philosophie, pp.149-184, 2013.

C. Viger, St. Anselm's Ontological Argument Succumbs to Russell's Paradox, International Journal for Philosophy of Religion, vol.52, issue.3, pp.123-128, 2002.

J. Von-plato, Elements of Logical Reasoning, 2013.

J. Vuillemin, Le Dieu d'Anselme et les apparences de la raison, Collection Analyse et Raisons. Aubier Montaigne, vol.14, 1971.

J. Vuillemin, Trois philosophes intuitionnistes : Epicure, Descartes et Kant. Dialectica, vol.35, pp.21-41, 1981.

J. Vuillemin, Nécessité ou contingence : l'aporie de Diodore et les systèmes philosophiques, 1984.

J. Vuillemin, What Are Philosophical Systems ? Cambridge University Press, 1986.

B. Williams, Descartes : The Project of Pure Enquiry, 2005.

J. Vidal-rosset, Archives Poincaré, UMR 7117 du CNRS, ? 91 bd Libération, p.54000