HERBRAND, Jacques (1908-31)

Lot 58
13.12.2023 11:00UTC +01:00
Classic
Vendu
£ 378
AuctioneerCHRISTIE'S
Lieu de l'événementRoyaume-Uni, London
Commissionsee on Website%
Archive
La vente aux enchères est terminée. Vous ne pouvez plus enchérir.
Archive
ID 1105640
Lot 58 | HERBRAND, Jacques (1908-31)
Valeur estimée
£ 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).

Adresse de l'enchère CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Royaume-Uni
Aperçu
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
Téléphone +44 (0)20 7839 9060
E-mail
Commission see on Website
Conditions d'utilisationConditions d'utilisation
?>