TY  - RPRT
TI  - Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining
AU  - Claus-Peter Wirth
PY  - 2014
UR  - https://arxiv.org/abs/1405.6317
ID  - 1405.6317
ER  -