Système U (mathématiques) (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Système U (mathématiques)" in French language version.

refsWebsite

Global rank French rank

1,564^th place

1,809^th place

cmu.edu

cs.cmu.edu

Jean-Yves Girard, « Interprétation fonctionnelle et Élimination des coupures de l'arithmétique d'ordre supérieur », Université Carnegie-Mellon (thèse),‎ 1972 (lire en ligne [PDF])