Revision history for entry Arai, Toshiyasu (2002). "Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals" [TOSRWB]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-24T06:12:39updateSystem / admin update -
2013-12-01T04:03:00updateSystem / admin update -
2013-12-01T04:02:57updateSystem / admin update -
2013-11-02T18:31:37updateSystem / admin update -
2011-05-31T10:05:08updateSystem / admin update -
2011-02-21T18:18:53update
2010-10-28T08:15:45updateSystem / admin update -
2010-09-30T14:25:43updateSystem / admin update -
2010-09-29T17:41:26addSystem / admin update -