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-24T10:12:39updateSystem / admin update -
2013-12-01T09:03:00updateSystem / admin update -
2013-12-01T09:02:57updateSystem / admin update -
2013-11-02T22:31:37updateSystem / admin update -
2011-05-31T15:05:08updateSystem / admin update -
2011-02-21T23:18:53update
2010-10-28T13:15:45updateSystem / admin update -
2010-09-30T19:25:43updateSystem / admin update -
2010-09-29T22:41:26addSystem / admin update -