Cut-elimination theorem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 June 2014

  • curprev 10:4110:41, 11 June 2014 en>Alan U. Kennington 7,099 bytes +666 Added a couple of references which present proofs of the cut-elimination theorem.

7 February 2014

7 September 2013

5 April 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Cut-elimination_theorem"