Logical writings ed by Warren D Goldfarb - Herbrand J (Dordrecht D Reidel, 1971)