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

Codice articolo 33349

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

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

Editore

Dordrecht, D. Reidel Publishing

Data di pubblicazione

1962

Rilegatura

Rilegato

Condizione della sovraccoperta

sovraccoperta

Cataloghi dei venditori

Descrizione libreria

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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Pallas Books Antiquarian Booksellers
Netherlands

Condizioni di vendita e spedizione

Condizioni di vendita

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

Condizioni di spedizione

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.

Metodi di pagamento

PayPal Bonifico bancario

Aggiungi ai desiderata