Recherches sur la théorie de la démonstration
Thèses de l'entre-deux-guerres, no. 110 (1930), 136 p
@phdthesis{THESE_1930__110__1_0,
     author = {Herbrand, Jacques},
     title = {Recherches sur la th\'eorie de la d\'emonstration},
     series = {Th\`eses de l'entre-deux-guerres},
     type = {Doctorat d'\'Etat},
     number = {110},
     year = {1930},
     language = {fr},
     url = {http://www.numdam.org/item/THESE_1930__110__1_0}
}
Herbrand, Jacques. Recherches sur la théorie de la démonstration. Thèses de l'entre-deux-guerres, no. 110 (1930), 136 p. http://www.numdam.org/item/THESE_1930__110__1_0/

1.Russell et Whitehead. Principia Mathematica, 3 volumes, Cambridge, 1910 sqq; 2ème édition du tome J, Cambridge, 1925 (Nous renvoyons à la premiere édition, et désignerons cet ouvrage par les initiales P. M.) | JFM 51.0046.06

2. Hilbert et Ackermann. Grundzüge der theoretiscben Logik, Springer, 1928 (Nous désignerons cet ouvrage par H. et A.). | Zbl 0158.00602

3. Hilbert. a) Neubegründung der Mathematik (Abh. der Math. Sem. der Hamb. Univ., 1922), | JFM 48.1188.01

b) Die logischen Grundlagen der Mathematik, (Math. Annalen, T. 88), | JFM 48.1120.01

c) Über das Unendliche(Math. Annalen, T. 95; traduction Weil dans les Acta Mathematica, T. 48),

d) Die Grundlagen der Mathematik, (II), (Abh. der Math. Sem. der. Hamb. Univ., 1928).

4. Neumann. Zum Hilbertschen Beweistheorie, (Math. Zeitschrift, 1927, T. 26, p. 1). | JFM 53.0041.02

5. Löwenheim. Über Möglichkeiten im Relativkalkül, Mathematische Annalen, T. 76, 1915.