Gentzen's consistency proof (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Gentzen's consistency proof" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

5^th place

5^th place

1projecteuclid.org

3,707^th place

2,409^th place

26^th place

20^th place

low place

low place

1books.google.com

3^rd place

3^rd place

books.google.com

Weyl (2012, p. 144). Weyl, Hermann (2012). Levels of infinity: Selected writings on mathematics and philosophy. New York: Dover Publications. ISBN 978-0-486-48903-2.

doi.org

Pudlák 1985. Pudlák, Pavel (1 June 1985). "Cuts, Consistency Statements and Interpretations". Journal of Symbolic Logic. 50 (2): 423–441. doi:10.2307/2274231. ISSN 0022-4812. JSTOR 2274231.
Feferman 1960. Feferman, Solomon (1960). "Arithmetization of metamathematics in a general setting". Fundamenta Mathematicae. 49 (1): 35–92. doi:10.4064/fm-49-1-35-92. ISSN 0016-2736.

eudml.org

Feferman 1960. Feferman, Solomon (1960). "Arithmetization of metamathematics in a general setting". Fundamenta Mathematicae. 49 (1): 35–92. doi:10.4064/fm-49-1-35-92. ISSN 0016-2736.

jstor.org

Pudlák 1985. Pudlák, Pavel (1 June 1985). "Cuts, Consistency Statements and Interpretations". Journal of Symbolic Logic. 50 (2): 423–441. doi:10.2307/2274231. ISSN 0022-4812. JSTOR 2274231.

projecteuclid.org

Pudlák 1985. Pudlák, Pavel (1 June 1985). "Cuts, Consistency Statements and Interpretations". Journal of Symbolic Logic. 50 (2): 423–441. doi:10.2307/2274231. ISSN 0022-4812. JSTOR 2274231.

worldcat.org

Pudlák 1985. Pudlák, Pavel (1 June 1985). "Cuts, Consistency Statements and Interpretations". Journal of Symbolic Logic. 50 (2): 423–441. doi:10.2307/2274231. ISSN 0022-4812. JSTOR 2274231.
Feferman 1960. Feferman, Solomon (1960). "Arithmetization of metamathematics in a general setting". Fundamenta Mathematicae. 49 (1): 35–92. doi:10.4064/fm-49-1-35-92. ISSN 0016-2736.