Authors
Claus-Peter Wirth
Title
Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort
In
Logica Universalis (2012) Vol.6, pp.485-520
BibTeX Entry
bib.bib
Copyright Owner
Springer