Revision history for entry David, René; Nour, Karim (2003). "A short proof of the strong normalization of classical natural deduction with disjunction" [DAVASP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2016-06-30T07:27:32updateSystem / admin update -
2016-02-11T06:52:54update
2015-02-05T02:04:57updateSystem / admin update -
2014-03-23T02:35:53updateSystem / admin update -
2013-11-04T05:46:38updateSystem / admin update -
2013-11-04T04:20:36updateSystem / admin update -
2012-03-13T15:07:59update
2012-03-13T15:07:59update
2012-03-13T15:07:59update
2010-09-23T12:30:06updateSystem / admin update -