Logical writings - Herbrand, Jacques (D. Reidel, 1971)