Logical Writings

Herbrand, Jacques

Published by Harvard University Press, Cambridge, Massachusetts, 1971

About this Item

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. 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. Seller Inventory # 00008974

Bibliographic Details

Title: Logical Writings

Publisher: Harvard University Press, Cambridge, Massachusetts

Publication Date: 1971

Binding: Hardcover

Condition: Near Fine

Dust Jacket Condition: Near Fine

Edition: First edition.