Revision history for entry Michelbrink, Markus (2006). "A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection" [MARABD] |
| Time | Type | Notes |
| 2010-10-28T13:39:36 | update | System / admin update - |
| 2010-10-02T02:25:14 | update | System / admin update - |
| 2010-09-23T17:30:35 | add | System / admin update - |
