Revision history for entry Michelbrink, Markus (2006). "A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection" [MARABD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-18T23:55:52updateSystem / admin update -
2013-11-22T07:11:44updateSystem / admin update -
2013-11-04T05:48:39updateSystem / admin update -
2010-10-28T08:39:36updateSystem / admin update -
2010-10-01T21:25:14updateSystem / admin update -
2010-09-23T12:30:35addSystem / admin update -