HERBRAND, Jacques (1908-31) - фото 1
HERBRAND, Jacques (1908-31) - фото 2

HERBRAND, Jacques (1908-31)

Продан
£ 378
Дата аукционаClassic
13.12.2023 11:00UTC +01:00
Auctioneer
CHRISTIE'S
Место проведения
Великобритания, London
Архив
Аукцион завершен. Ставки на лот больше не принимаются.
Archive
ID 1105640
Лот 58 | HERBRAND, Jacques (1908-31)
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).

Адрес торгов CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Великобритания
Предосмотр
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
Телефон +44 (0)20 7839 9060
E-mail
4FQ.AYGKAGLUQ@FO3G@
Комиссия see on Website
Условия использованияУсловия использования

Часто задаваемые вопросы

  1. Зарегистрируйтесь на сайте как «Покупатель», чтобы учавствовать на аукционах. Регистрация бесплатна. Подтвердите email и после этого вы получаете доступ в личный кабинет.
  2. Выберите лот, который вы хотите купить, нажмите на кнопку «Сделать ставку». В открывшемся окне выберете сумму для ставки и подтвердите ее.
  3. Мы направим оповещение о ставке в аукционный дом и сообщим вам по эл. почте, когда аукционный дом ее подтвердит. Статус ставки вы можете видеть и в вашем личном кабинете во вкладке «Ставки».
Торги проводят аукционные дома и каждый из аукционных домов описывает собственные условия проведения торгов. Тексты вы можете увидеть на странице лота, кликнув на ссылку «Условия использования» в разделе «Информация о торгах»
Результаты аукциона публикуются в течении нескольких дней после завершения аукциона. В верхнем меню сайта найдите закладку «Аукционы». Нажав на нее, вы попадете на страницу аукционных каталогов, где без труда отыщете рубрику «Результаты». Открыв ее, выберите из списка нужный аукцион, войдите и просмотрите текущее состояние интересующего лота.
Данные о победителях аукционов конфиденциальны. Победитель аукциона получает оповещение напрямую из ответственного аукционного дома с инструкцией к дальнейшим действиям: счет на оплату и способы получения выигрыша.
Каждый из аукционных домов имеет собственную политику оплат выигранных лотов. Все аукционные дома принимают банковские переводы, большинство из них принимают оплату кредитными картами. В ближайшее время Вы найдете для каждого конкретного случая подробную информацию в рубрике «Информация о торгах» на станице аукционного каталога и лота.
Пересылка выигранного лота зависит от его размера. Мелкие предметы могут быть доставлены почтовой пересылкой. Более крупные лоты направляются курьерской службой. Служащие аукционных домов предложат Вам различные возможности на выбор.
Нет. Архив служит справочником для изучения аукционных цен, фотографий и описаний произведений искусства.