Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort

@article{pub8617,
    author = {

Wirth, Claus-Peter
},
    title = {Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort},
    year = {2012},
    volume = {6},
    pages = {485--520},
    journal = {Logica Universalis},
    publisher = {Springer Publishing House}
}