Gentzen's second consistency proof and strong cut-elimination

Edward Hermann Hauesler, Luiz Carlos Pereira

Abstract


Without abstract

Full Text:

PDF

Refbacks

  • There are currently no refbacks.