Ecrits logiques - Herbrand, Jacques 1908-1931. (Paris Presses Universitaires de France, 1968)
Keywords: Logic, Symbolic and mathematical