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 11:4111: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.

8 February 2014

7 September 2013

5 April 2012

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