TY  - RPRT
TI  - Hilbert's machine and w-order
AU  - Antonio Leon
PY  - 2009
UR  - https://arxiv.org/abs/math/0608331
ID  - math/0608331
ER  -