A BUCHOLZ DERIVATION SYSTEM FOR THE ORDINAL ANALYSIS OF KP + Π3-REFLECTION

by Markus Michelbrink