Logical writings
Herbrand, Jacques.
Reidee
1971
A translation of the "Écrits logiques", edited by Jean van Heijenoort, 1968