@Article{wirth-heijenoort,
year={2012},
author={Claus-Peter Wirth},
title={{Herbrand's Fundamental Theorem} in the Eyes of {Jean von Heijenoort}},
journal={Logica Universalis},
volume={6},
pages={485--520},
note={Received Jan.\,12, 2012. Published online June\,22, 2012, \url{http://dx.doi.org/10.1007/s11787-012-0056-7}},
}