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},
     number = {110},
     year = {1930},
     language = {fr},
     url = {http://www.numdam.org/item/THESE_1930__110__1_0/}
}
TY  - BOOK
AU  - Herbrand, Jacques
TI  - Recherches sur la théorie de la démonstration
T3  - Thèses de l'entre-deux-guerres
PY  - 1930
IS  - 110
UR  - http://www.numdam.org/item/THESE_1930__110__1_0/
LA  - fr
ID  - THESE_1930__110__1_0
ER  - 
%0 Book
%A Herbrand, Jacques
%T Recherches sur la théorie de la démonstration
%S Thèses de l'entre-deux-guerres
%D 1930
%N 110
%U http://www.numdam.org/item/THESE_1930__110__1_0/
%G fr
%F 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://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

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

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

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

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

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