Principe du tiers exclu (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Principe du tiers exclu" in French language version.

refsWebsite

Global rank French rank

1archives-ouvertes.fr

1,031^st place

161^st place

4,963^rd place

3,934^th place

1pourlascience.fr

low place

649^th place

low place

low place

6^th place

63^rd place

archive.org

(en) Dirk van Dalen (de), Logic and Structure, Springer, 2008, 4^e éd. (1^re éd. 1980) (lire en ligne), p. 153.

archives-ouvertes.fr

hal.archives-ouvertes.fr

Georges Gonthier et al., « A Machine-Checked Proof of the Odd Order Theorem », HAL, Archives ouvertes,‎ juillet 2013 (lire en ligne), Section 3.2

pourlascience.fr

Alexandre Miquel, « L’intuitionnisme : où l’on construit une preuve », Pour la Science, n^o 49 « Argumentation et preuve »,‎ octobre-décembre 2005, p. 33, cadre B (lire en ligne).

unibo.it

jfr.unibo.it

Georges Gonthier et Assia Mahboubi, « An introduction to small scale reflection in Coq », Journal of Formalized Reasoning, vol. 3, n^o 2,‎ 2010 (lire en ligne)

wikipedia.org

de.wikipedia.org

(en) Dirk van Dalen (de), Logic and Structure, Springer, 2008, 4^e éd. (1^re éd. 1980) (lire en ligne), p. 153.