Automation of reasoning. Classical papers on computational logic, 1957-1970

  • Hardcover
  • Used
See all details

Seller: Librairie Philosophique J. Vrin, Paris, FranceLibrairie Philosophique J. Vrin

4-star seller

AbeBooks seller since May 16, 2003

View this seller's items
Hardcover

Condition: Used - Near fine

£ 61.84

£ 18.84 shipping 
Ships from France to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

Berlin, 1983, 2 forts vol. in-8°, cart. édit.

Seller Inventory # 87773

Bibliographic details

Title
Automation of reasoning. Classical papers on computational logic, 1957-1970
Author
[SIEKMANN (J.) and WRIGHTSON (G.)]
Publication year
1983
Condition
Bon
Binding
Couverture rigide

Librairie Philosophique J. Vrin

Paris, France

4-star seller

AbeBooks seller since May 16, 2003

Shipping rates from France to U.S.A.

Item10 to 15 business days7 to 10 business days
First item£ 18.84£ 32.63
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Check

Store description

Editeur et libraire spécialisé en philosophie, la Librairie Philosophique J. Vrin propose, depuis près d'un siècle, de nombreux titres français et étrangers, neufs et d'occasion. Elle édite par ailleurs un catalogue mensuel de titres d'occasion et dispose d'un important fonds dans des domaines variés.

Specialty

Philosophie, Antiquité, Latin, grec, Textes et études littéraires, Religion, Histoire des sciences, Droit, Médecine, Histoire

Seller's business information

Librairie Philisophique Vrin

6, place de la Sorbonne
Paris, France 75005