## Thèses présentées à la Faculté des Sciences de Paris pour obtenir le grade de Docteur ès Sciences Mathématiques. 1re thèse: Recherches sur la théorie de la démonstration. 2me thèse: Propositions données par la faculté. Soutenues le 1930 devant la commission d'examen.

Warsaw: Dziewulski, 1930. First edition, rare, and a fine copy in the original printed wrappers, of Herbrand’s doctoral dissertation, written in 1929 as a contribution to Hilbert’s programme. Bernays described Herbrand’s theorem as “the central theorem of predicate logic”, and van Heijenoort wrote that “[Frege’s] Begriffsschrift (1879), Löwenheim’s paper [‘Über..... More

Item #5040