TY  - RPRT
TI  - Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
AU  - Gunnar Wilken
AU  - Andreas Weiermann
PY  - 2012
DO  - 10.2168/lmcs-8(1:19)2012
UR  - https://arxiv.org/abs/1203.0115
ID  - 1203.0115
ER  -