1. Jacques Herbrand, Recherches sur la théorie de la démonstration, Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 33 (1930). 2. , Sur le problème fondamental de la logique mathématique, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 24 (1931...