Démonstration constructive (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Démonstration constructive" in French language version.

refsWebsite

Global rank French rank

4,903^rd place

875^th place

6,910^th place

514^th place

inria.fr (Global: 4,903^rd place; French: 875^th place)

hal.inria.fr

Voir notamment Jean-Yves Girard « A New constructive logic: classical logic » [PDF], INRIA, Rapport de recherche n^o 1 443, juin 1991 et les travaux de Jean-Louis Krivine.

jussieu.fr (Global: 6,910^th place; French: 514^th place)

pps.jussieu.fr

Voir notamment Jean-Yves Girard « A New constructive logic: classical logic » [PDF], INRIA, Rapport de recherche n^o 1 443, juin 1991 et les travaux de Jean-Louis Krivine.