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
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
4FQ.AYGKAGLUQ@FO3G@
Commission see on Website
Conditions d'utilisationConditions d'utilisation

Questions fréquemment posées

Pour participer aux ventes aux enchères, vous devez d’abord, vous inscrire. Après la confirmation de l’adresse e-mail, complétez votre profil d’utilisateur en fournissant des renseignements personnels tels que votre prénom, nom de famille et l’adresse postale. Choisissez un lot qui vous intéresse et indiquez le montant maximum que vous voulez offir pour ce lot. Dès que vous confirmez votre choix, nous transférerons votre demande par voie électronique à la maison de ventes aux enchères appropriée. Si votre demande est acceptée, votre offre va participer aux ventes aux enchères. Vous pouvez vérifier le statut actuel de votre offre en tout temps dans votre cabinet personnel VIL sous l’onglet «Vos offres».
Les enchères sont réalisées par les maisons de ventes et chacune des maisons de ventes décrit ses conditions de vente. Vous pouvez voir les textes dans la rubrique «Information sur les ventes».
Les résultats des ventes aux enchères sont publiés dans quelques jours après la clôture de l’enchère. En haut de la page du site web VIL, vous trouverez l’onglet «Enchères». Cliquez sur cet onglet et naviguez vers la page des catalogues de ventes aux enchères où vous trouverez facilement l’onglet « Résultats des ventes ». Sur cet onglet, sélectionnez l’enchère qui vous intéresse et consultez l’état de vente du lot de votre choix.
Les informations sur les gagnants des enchères sont confidentielles. Le gagnant de l'enchère recevra une notification directe de la maison d'enchères responsable avec des instructions pour les mesures à prendre: une facture de paiement et la manière dont les marchandises ont été reçues.
Chacune de maisons de ventes aux enchères adhère à sa propre politique concernant les modes de paiement des lots remportés. Toutes les maisons de ventes aux enchères acceptent les virements bancaires; la plupart d’elles acceptent les paiements par carte de crédit. Dans un avenir très proche, vous trouverez des renseignements détaillés sous la rubrique «Information sur les ventes», à la page du catalogue et du lot.
Le mode de livraison du lot dépend de sa taille et ses dimensions. Les petits articles peuvent être livrés par la poste. Les objets plus grands sont expédiés par courrier. Les préposés à la livraison des maisons de ventes aux enchères vous proposeront différentes options selon votre cas.
Non. Les archives servent de référence pour l'étude des prix des enchères, des photographies et des descriptions d'œuvres d'art.