cloth, dustjacket, 8vo xiv+170 pp. implicationallogic; sentential logic; completeness of elementary logic; formalization of arithmetic; in machines which prove theorems; very good condition (almost unused, stamp 'archief E.W. Beth' on dustjacket).

Seller Inventory # 33349

Contact seller

Report this item

Bibliographic Details

Title

Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]

Publisher

Dordrecht, D. Reidel Publishing

Publication Date

1962

Binding

Hardcover

Dust Jacket Condition

Dust Jacket Included

Seller catalogs

Science (exact)

Store Description

Pallas Books is located in Leiden, the oldest university town of the Netherlands. Opening hours of our shop: only on appointment

Visit Seller's Storefront

Seller's business information

Pallas Books Antiquarian Booksellers
Netherlands

Sale & Shipping Terms

Terms of Sale

Prices are in Euro.
Ordered books are send well-packed, immediately after payment (or confirmation by
ABE Books).
Cost of shipment is added at costprice.
Books can be returned within one week after receipt and after notification (cost of
shipment to buyer).

Shipping Terms

IMPORTANT INFO FOR US-CUSTOMERS: Due to the new tariffs for imports from the EU to the USA, PostNL and DHL have temporarily suspended shipment of parcels to the USA. Therefore we cannot accept orders from US-customers at this moment. We hope that this problem will be solved soon.
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Otherwise, relatively small books (e.g. paperbacks with approx. 250 pages and/or less weight than 500 grams) will be charged with a much lower postage rate.

Shipping rates from Netherlands to U.S.A.

Shipping rates from Netherlands to U.S.A.
Order quantity	8 to 14 business days	8 to 14 business days
First item	US$ 30.53	US$ 30.53

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

PayPal Bank/Wire Transfer

Add to Wants