"Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining."

Claus-Peter Wirth (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics