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.