Logique intuitionniste (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Logique intuitionniste" in French language version.

refsWebsite

Global rank French rank

179^th place

385^th place

149^th place

80^th place

69^th place

232^nd place

low place

low place

3,033^rd place

2^nd place

3^rd place

arxiv.org

Le caractère non démontré de l'irrationalité de la constante d'Euler-Mascheroni est rappelé dans la conjecture 1.0.1 de (en) Jeffrey Lagarias, Euler's constant: Euler's work and modern developments, 98 pages, 258 références. (2013) [lire en ligne] [PDF]

(en) Richard Statman, « Intuitionistic propositional logic is polynomial-space complete », Theoretical Computer Science, vol. 9,‎ 1^er juillet 1979, p. 67–72 (DOI 10.1016/0304-3975(79)90006-9, lire en ligne, consulté le 12 avril 2016).

Saul A. Kripke, Semantical Analysis of Intuitionistic Logic I, Elsevier, coll. « Formal Systems and Recursive Functions », 1^er janvier 1965 (lire en ligne), p. 92–130.
(en) Richard Statman, « Intuitionistic propositional logic is polynomial-space complete », Theoretical Computer Science, vol. 9,‎ 1^er juillet 1979, p. 67–72 (DOI 10.1016/0304-3975(79)90006-9, lire en ligne, consulté le 12 avril 2016).