Logical Writings
Cambridge, Massachusetts: Harvard University Press, 1971. First edition. Hardcover. 8vo. [5], vi-vii, [4], 2-312, [2] pp. Black cloth with gold lettering on the spine. Price of $18.75 on the front flap of the dust jacket. Illustrated by a frontispiece photograph of Herbrand. Edited by Warren D. Goldfarb. A translation of Ecrits logiques, edited by Jean Van Heijenoort. Omega Bibliography, volume III, 351; Dauben 1606. Herbrand is best known for two important results, the Herbrand theorem in classical logic and (one direction of) the Herbrand-Ribet theorem in class field theory. Herbrand's proof of the former result is included in this book (V. Investigations in Proof Theory (1930)) and is a well-known and significant theorem in mathematical logic (Herbrand shows that certain formulas in first-order logic are reducible to formulas in propositional logic in the sense a first-order formula of the right sort is valid just in case the propositional "translation" formula is valid). Although Herbrand's tragic death in the Alps at age 23 cut short his mathematical career, he nevertheless is an important figure in modern mathematics. Near Fine / Near Fine. Item #00008974
A Near Fine book with the front board slightly bowed, showing a tiny nick; dust jacket is Near Fine with miniscule edge wear and a tiny nick to the front panel.
Price: $125.00