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-19T03:55:52updateSystem / admin update -
2013-11-22T12:11:44updateSystem / admin update -
2013-11-04T10:48:39updateSystem / admin update -
2010-10-28T13:39:36updateSystem / admin update -
2010-10-02T02:25:14updateSystem / admin update -
2010-09-23T17:30:35addSystem / admin update -