HERBRAND, Jacques (1908-31) - photo 1
HERBRAND, Jacques (1908-31) - photo 2

HERBRAND, Jacques (1908-31)

Lot 58
13.12.2023 11:00UTC +00:00
Classic
Sold
£ 378
AuctioneerCHRISTIE'S
Event locationUnited Kingdom, London
Buyer Premiumsee on Website%
Archive
The auction is completed. No bids can be placed anymore.
Archive
ID 1105640
Lot 58 | HERBRAND, Jacques (1908-31)
Estimate value
£ 2 500 – 3 500
HERBRAND, Jacques (1908-31)

Recherches sur la théorie de la démonstration. Offprint from: Travaux de la Societe des Sciences et des Lettres de Varsovie, III, Vol. 33. Warsaw: Nakladem towarzystwa naukowego Warszawskiego, 1930.

Rare first edition, in the original printed wrappers, of a landmark thesis of logic programming. We are able to trace just one copy in auction records. Taking as its starting point the system of classical propositional logic presented in Whitehead and Russell's Principia Mathematica, Herbrand’s important doctoral dissertation, written in 1929 as a contribution to Hilbert’s programme, was described by Jean van Heijenoort as one of the three ‘cornerstones of modern logic.’ ‘Herbrand had created a significant part of the world heritage of modern logic when he died in 1931’ (Wirth).



Octavo (237 x 169mm). (First and last leaves a little browned.) Original printed wrappers (a few light marks and one tiny closed tear to wrappers, slight split to upper hinge and to textblock at pp.96-97).

Address of auction CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
United Kingdom
Preview
09.12.2023 12:00 – 17:00
10.12.2023 12:00 – 17:00
11.12.2023 09:00 – 18:00
12.12.2023 09:00 – 17:00
Phone +44 (0)20 7839 9060
Email
4FQ.AYGKAGLUQ@FO3G@
Buyer Premium see on Website
Conditions of purchaseConditions of purchase

Frequently asked questions

First of all, you should register to be able to purchase at auction. After confirming your email address, enter your personal information in your user profile, such as your first name, last name, and mail address. Choose a lot from the upcoming auction and the maximum amount you want to place on it. After confirmation of your choice, we will send your application by e-mail to the appropriate auction house. If the auction house accepts a request, it will participate in the auction. You can view the current status of a bid at any time in your personal account in the "Bids" section.
Auctions are performed by auction houses and each of the auction houses describes their terms of auction. You can see the texts in the section "Auction information".
The results of the auction are published within a few days after the end of the auction. In the top menu of the site, find the tab "Auctions". Click on it and you will be on the auction catalog page, where you can easily find the category "Results". After opening it, select the desired auction from the list, enter and view the current status of the interested lot.
The information about the auction winners is confidential. The auction winner will receive a direct notification from the auction house responsible with instructions for further action: an invoice for payment and the manner in which the goods will be received.
Each of the auction houses has its own payment policy for the won lots. All auction houses accept bank transfers, most of them accept credit card payments. In the near future you will find detailed information for each case in the section "Auction information" on the page of the auction catalog and the lot.
Shipment of the won lot depends on its size. Small items can be delivered by post. Larger lots are sent by courier. Employees of the auction houses will offer you a wide range to choose from.
No. The archive serves as a reference for the study of auction prices, photographs and descriptions of works of art.