HERBRAND, Jacques (1908-31)

Los 58
13.12.2023 11:00UTC +00:00
Classic
Verkauft
£ 378
AuctioneerCHRISTIE'S
VeranstaltungsortVereinigtes Königreich, London
Aufgeldsee on Website%
Archiv
Die Auktion ist abgeschlossen. Es können keine Gebote mehr abgegeben werden.
Archive
ID 1105640
Los 58 | HERBRAND, Jacques (1908-31)
Schätzwert
£ 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 der Versteigerung CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Vereinigtes Königreich
Vorschau
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
Telefon +44 (0)20 7839 9060
E-Mail
Aufgeld see on Website
NutzungsbedingungenNutzungsbedingungen