Ecrits logiques - Herbrand, Jacques 1908-1931 (Presses Universitaires de France, 1968)