Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

Paulson, Lawrence C.

5 évaluations par Goodreads

Langue : anglais

Edité par Cambridge University Press, 1987

0521346320 / 9780521346320

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

Vendeur : thebookforest.com, San Rafael, CA, Etats-Unisthebookforest.com

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 3 janvier 2023

Livre relié

Etat: Occasion - Assez bon

EUR 275,05

EUR 4,44 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

N° de réf. du vendeur BAY_08_SH_080796

Titre
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Auteur
Paulson, Lawrence C.
Éditeur
Cambridge University Press
Année de publication
1987
État de l'article
Very Good
Reliure
Couverture rigide
Langue
anglais
ISBN à 10 chiffres
0521346320
ISBN à 13 chiffres
9780521346320
Série
Livre 3 sur 40: Cambridge Tracts in Theoretical Computer Science

thebookforest.com

San Rafael, CA, Etats-Unis

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 3 janvier 2023

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

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 4,44EUR 8,00
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

Description de la boutique

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.