J. Herbrand. Recherches sur la théorie de la demonstration.
Travaux de la Société des Sciences et de Lettres de Varsovie, Classe III
Sciences Mathématiques et Physiques, Nr. 33, Varsovie, 1930
(J. Herbrand. Badania nad teorją dowodu. Prace Towarzystwa
Naukowego Warszawskiego, Wydział III Nauk Matematyczno-Fizychnych, Nr. 33,
Warszawa, 1930).
Annotated English translation:
J. Herbrand. Investigations in
Proof Theory. In the book “J. Herbrand. Logical Writings”
(edited by W. D. Goldfarb), D. Reidel Publishing Company,
Dordrecht-Holland, 1971, pp. 44-202.