Logical Writings - J. Herbrand