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

H. Field, Saving Truth From Paradox, 2008.

K. Grelling and L. Nelson, Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Abhandlungen Der Fries'schen Schule, vol.2, pp.300-334, 1907.

S. C. Kleene, The Logical Paradoxes and the Law of Excluded Middle, The Philosophical Quarterly, vol.33, issue.131, pp.160-165, 1983.

W. V. Quine, Philosophy of Logic, 1986.

F. P. Ramsey, Philosophical Papers, 1990.

B. Russell, The Principles of Mathematics. Routledge Classics. Routledge, 1903.

L. Schwartz, Analyse, 1. Théorie des ensemble et topologie. Collection Enseignement des sciences 42, 1991.
URL : https://hal.archives-ouvertes.fr/hal-00823175

N. Tennant, Core Logic, 2017.

J. Von-plato, A Problem of Normal Form in Natural Deduction, Mathematical Logic Quarterly, vol.46, issue.1, pp.121-124, 2000.

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

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