TY  - RPRT
TI  - Hilbert's Program Then and Now
AU  - Richard Zach
PY  - 2005
DO  - 10.1016/b978-044451541-4/50014-2
UR  - https://arxiv.org/abs/math/0508572
ID  - math/0508572
ER  -