Исчисление секвенций (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Исчисление секвенций" in Russian language version.

refsWebsite

Global rank Russian rank

2^nd place

3^rd place

2web.archive.org

1^st place

1^st place

6^th place

9^th place

1philpapers.org

1,865^th place

8,095^th place

1projecteuclid.org

3,707^th place

9,750^th place

archive.org

Hertz P. Über Axiomensysteme für beliebige Satzsysteme (нем.) // Mathematische Annalen. — 1929. — Bd. 101. — S. 457–514. — doi:10.1007/BF01454856.

doi.org

dx.doi.org

Hertz P. Über Axiomensysteme für beliebige Satzsysteme (нем.) // Mathematische Annalen. — 1929. — Bd. 101. — S. 457–514. — doi:10.1007/BF01454856.
Gentzen G. Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen (нем.) // Mathematische Annalen. — 1932. — Bd. 107. — S. 329–350. — doi:10.1007/BF01448897.
Takahashi M. A proof of cut-elimination theorem in simple type-theory // Journal of Japanese Mathematical Society. — 1967. — Т. 19, № 4. — С. 399—410. — doi:10.2969/jmsj/01940399. Архивировано 21 января 2019 года.

philpapers.org

Bernays P. Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul (англ.) // Journal of Symbolic Logic. — 1945. — Vol. 10, no. 4. — P. 127—130. Архивировано 21 января 2019 года.

projecteuclid.org

Takahashi M. A proof of cut-elimination theorem in simple type-theory // Journal of Japanese Mathematical Society. — 1967. — Т. 19, № 4. — С. 399—410. — doi:10.2969/jmsj/01940399. Архивировано 21 января 2019 года.

web.archive.org

Bernays P. Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul (англ.) // Journal of Symbolic Logic. — 1945. — Vol. 10, no. 4. — P. 127—130. Архивировано 21 января 2019 года.
Takahashi M. A proof of cut-elimination theorem in simple type-theory // Journal of Japanese Mathematical Society. — 1967. — Т. 19, № 4. — С. 399—410. — doi:10.2969/jmsj/01940399. Архивировано 21 января 2019 года.