Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]
Published by Dordrecht, D. Reidel Publishing, 1962
- Hardcover
- Used
Seller: Pallas Books Antiquarian Booksellers, Leiden, NetherlandsPallas Books Antiquarian Booksellers
AbeBooks seller since April 17, 2001
Condition: Used
US$ 11.83
Quantity: 1 available
Add to basketItem description from seller
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
Bibliographic details
- Title
- Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]
- Author
- Beth, Evert W.
- Publisher
- Dordrecht, D. Reidel Publishing
- Publication year
- 1962
- Dust jacket
- Dust Jacket Included
- Binding
- Hardcover
- Seller catalogs
- Science (exact)
Pallas Books Antiquarian Booksellers
Leiden, Netherlands
AbeBooks seller since April 17, 2001
Shipping rates from Netherlands to U.S.A.
| Item | 8 to 14 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 31.01 | US$ 31.01 |
Payment methods
- Bank Wire Transfer
- Paypal
Store description
Pallas Books is located in Leiden, the oldest university town of the Netherlands. Opening hours of our shop: only on appointment
Specialty
Art history, art monographs, art catalogues, graphic art, Book history, book design, typography, printing, binding, General history, archaeology, classical cultures, Architecture, interior design, furniture, applied arts, Photography (including techniques), Travel, foreign topography, ethnography, Dutch Indies, Science, history of science, philosophy of science, Graphic art (illustration, printingSeller's business information
Pallas Books Antiquarian Booksellers
Netherlands
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.