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

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

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.

Payment Methods

PayPal Bank/Wire Transfer

Add to Wants