Sign In

Login

Password

Forgot Password ? Sign Up

Cut-elimination theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Cut-elimination theorem" in English language version.

refsWebsite
Global rank English rank
1uni-muenchen.de
3,337th place
3,444th place

uni-muenchen.de

mathematik.uni-muenchen.de

  • Wilfried Buchholz, Beweistheorie (university lecture notes about cut-elimination, German, 2002-2003)