Jacques Herbrand: Logical Writings.