Implementing Mathematics with the Nuprl Proof Development System

Langue : anglais

Edité par Prentice-Hall, 1986

0134518322 / 9780134518329

Vendeur : Biblios, frankfurt am main, hessen, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 10 septembre 2024

Livre relié

Etat: Occasion

EUR 41,39

EUR 9,95 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

pp. 304.

N° de réf. du vendeur 182611326

Détails bibliographiques

Titre
Implementing Mathematics with the Nuprl Proof Development System
Auteur
Constable R.L.
Éditeur
Prentice-Hall
Année de publication
1986
État de l'article
Used
Reliure
Couverture rigide
Langue
anglais
ISBN à 10 chiffres
0134518322
ISBN à 13 chiffres
9780134518329

Biblios

frankfurt am main, hessen, Allemagne

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 10 septembre 2024

Frais d'expédition de Allemagne vers Etats-Unis

Article25 à 45 jours ouvrés8 à 14 jours ouvrés
Premier articleEUR 9,95EUR 18,70
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

We carry a wide selection of books from South Asia, United States, UK.

Spécialité

new books imported from india, uk, usa

Profil professionnel du vendeur

Readingos GmbH

Kaiserstraße 47
Frankfurt am Main, Allemagne 60329