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