J. Herbrand Ordine dei libri

This volume features English translations of Herbrand's logic papers, originally published in 1968 by Jean van Heijenoort. It includes two previously translated chapters and new translations by the author, with standardized references and uniform notation. Notable terminology adjustments are also explained.