Logical writings - Herbrand, Jacques 1908-1931 (Harvard University Press, 1971)