Système T (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Système T" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

57^th place

4^th place

26^th place

110^th place

1uni-goettingen.de

2,594^th place

2,121^st place

69^th place

232^nd place

1semanticscholar.org

11^th place

325^th place

702^nd place

1,152^nd place

arxiv.org

(en) Benno van den Berg, « A note on arithmetic in finite types », version 2, 2014.

doi.org

dx.doi.org

(de) Kurt Gödel, « Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes », Dialectica, vol. 12, n^os 3-4,‎ décembre 1958, p. 280–287 (DOI 10.1111/j.1746-8361.1958.tb01464.x )
(en) William Walker Tait, « Intensional Interpretations of Functionals of Finite Type I », The Journal of Symbolic Logic, vol. 32, n^o 2,‎ 1967, p. 198–212 (ISSN 0022-4812, DOI 10.2307/2271658, lire en ligne [PDF], consulté le 5 septembre 2024)
Loïc Colson, « About primitive recursive algorithms », Theoretical Computer Science, vol. 83, n^o 1,‎ 21 juin 1991, p. 57–69 (ISSN 0304-3975, DOI 10.1016/0304-3975(91)90039-5 )
(de) Wilhelm Ackermann, « Zum Hilbertschen Aufbau der reellen Zahlen », Mathematische Annalen, vol. 99, n^o 1,‎ 1^er décembre 1928, p. 118–133 (ISSN 1432-1807, DOI 10.1007/BF01459088 , lire en ligne , consulté le 28 juillet 2024)
(de) Gerhard Gentzen, « Die Widerspruchsfreiheit der reinen Zahlentheorie », Mathematische Annalen, Springer Nature, vol. 112, n^o 1,‎ 1^er décembre 1936, p. 493–565 (ISSN 1432-1807, DOI 10.1007/BF01565428 , S2CID 122719892)

issn.org

portal.issn.org

(en) William Walker Tait, « Intensional Interpretations of Functionals of Finite Type I », The Journal of Symbolic Logic, vol. 32, n^o 2,‎ 1967, p. 198–212 (ISSN 0022-4812, DOI 10.2307/2271658, lire en ligne [PDF], consulté le 5 septembre 2024)
Loïc Colson, « About primitive recursive algorithms », Theoretical Computer Science, vol. 83, n^o 1,‎ 21 juin 1991, p. 57–69 (ISSN 0304-3975, DOI 10.1016/0304-3975(91)90039-5 )
(de) Wilhelm Ackermann, « Zum Hilbertschen Aufbau der reellen Zahlen », Mathematische Annalen, vol. 99, n^o 1,‎ 1^er décembre 1928, p. 118–133 (ISSN 1432-1807, DOI 10.1007/BF01459088 , lire en ligne , consulté le 28 juillet 2024)
(de) Gerhard Gentzen, « Die Widerspruchsfreiheit der reinen Zahlentheorie », Mathematische Annalen, Springer Nature, vol. 112, n^o 1,‎ 1^er décembre 1936, p. 493–565 (ISSN 1432-1807, DOI 10.1007/BF01565428 , S2CID 122719892)

jstor.org

(en) William Walker Tait, « Intensional Interpretations of Functionals of Finite Type I », The Journal of Symbolic Logic, vol. 32, n^o 2,‎ 1967, p. 198–212 (ISSN 0022-4812, DOI 10.2307/2271658, lire en ligne [PDF], consulté le 5 septembre 2024)

semanticscholar.org

api.semanticscholar.org

(de) Gerhard Gentzen, « Die Widerspruchsfreiheit der reinen Zahlentheorie », Mathematische Annalen, Springer Nature, vol. 112, n^o 1,‎ 1^er décembre 1936, p. 493–565 (ISSN 1432-1807, DOI 10.1007/BF01565428 , S2CID 122719892)

uni-goettingen.de

gdz.sub.uni-goettingen.de

(de) Wilhelm Ackermann, « Zum Hilbertschen Aufbau der reellen Zahlen », Mathematische Annalen, vol. 99, n^o 1,‎ 1^er décembre 1928, p. 118–133 (ISSN 1432-1807, DOI 10.1007/BF01459088 , lire en ligne , consulté le 28 juillet 2024)

upenn.edu

cis.upenn.edu

(en) Jean H. Gallier, « On Girard’s “Candidats de réductibilité” », dans Piergiorgio Odifreddi, Logic and Computer Science, Academic Press, coll. « APIC studies in data processing » (n^o 31), 1989, 430 p. (ISBN 978-0-12-524220-2, lire en ligne)