Logic and Computation: Interactive Proof with Cambridge LCF

L. C. Paulson

5 évaluations par Goodreads

Langue : anglais

Edité par Cambridge University Press, Cambridge, UK, 1987

0521346320 / 9780521346320

Série : Livre 3 sur 40 - Cambridge Tracts in Theoretical Computer Science

  • Éd. originale
  • Livre relié
  • Occasion
Afficher toutes les informations

Vendeur : Black Cat Hill Books, Oregon City, OR, Etats-UnisBlack Cat Hill Books

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 17 septembre 2012

Livre relié

Etat: Occasion - Satisfaisant

EUR 64,08

EUR 5,55 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

EX-UNCAR LIBRARY COPY, removed from circulation, showing the usual treatments. First Edition (1987). Very Near Fine: shows just a tick of wear to the extremities (appears unopened and unread) ; else flawless; the binding is square and secure; the text is clean. Free of creased or dog-eared pages in the text. Free of underlining, hi-lighting, notations, or marginalia. A handsome, nearly-new copy, structurally sound and tightly bound, showing minor, unobtrusive imperfections despite its former library status. Bright and clean. Corners sharp. NOT a Remainder or Book-Club. Large 8vo (9.85 x 7 x 0.85 inches). Language: English. Weight: 30 ounces. Duotone shaded blue laminate boards with white titles at the front panel and back-strip. First printing presumed; no subsequent printings listed, as would have been Cambridge University Press' customary practice at the time of publication. Hardcover: Laminate Boards. ; Cambridge Tracts in Theoretical Computer Science; Vol. 2; Large 8vo 9" - 10" tall; xiii, 302 pages. …

N° de réf. du vendeur 59878

Titre
Logic and Computation: Interactive Proof with Cambridge LCF
Auteur
L. C. Paulson
Éditeur
Cambridge University Press, Cambridge, UK
Année de publication
1987
État de l'article
Good+
Jaquette
No Dust Jacket As Issued
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
0521346320
ISBN à 13 chiffres
9780521346320
Édition
First Edition; First Printing.
Série
Livre 3 sur 40: Cambridge Tracts in Theoretical Computer Science

Black Cat Hill Books

Oregon City, OR, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 17 septembre 2012

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 5,55EUR 8,84
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Mandat
  • Paypal

Description de la boutique

We are an on-line business with on on-site access to the public.

Spécialité

Metaphysical & Eastern Thought, modern first editions, natural history, sailing, western americana, philosophy, history, biography, and military history, native american, gardening and landscaping, Christian Theology and Biblical Studies

Profil professionnel du vendeur

Black Cat Hill Books

722 Harrison Street
Oregon City, OR Etats-Unis 97045-2039