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). Bestandsnummer des Verk�ufers 33349

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods. An introduction to symbolic ...

Verlag: Dordrecht, D. Reidel Publishing

Erscheinungsdatum: 1962

Einband: Hardcover

Zustand des Schutzumschlags: Schutzumschlag

Anbieterinformationen

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

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Pallas Books Antiquarian Booksellers
Netherlands

Gesch�ftsbedingungen:

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).

Versandinformationen:

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.

Zahlungsarten
akzeptiert von diesem Verk�ufer

PayPal Bank�berweisung

Zu Kaufgesuchen hinzuf�gen