Articles liés à Implementing Mathematics With the Nuprl Proof Development...
Résultats de recherche pour Implementing Mathematics With the Nuprl Proof Development...
Image d'archives
Implementing Mathematics With the Nuprl Proof Development System
Edité par
Prentice Hall, 1986
ISBN 10 : 0134518322
ISBN 13 : 9780134518329
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0134518322I4N00
Acheter D'occasion
EUR 18,06
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics With the Nuprl Proof Development System
Edité par
Prentice Hall, 1986
ISBN 10 : 0134518322
ISBN 13 : 9780134518329
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-843-035
Acheter D'occasion
EUR 6,49
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics With The Nuprl Proof Development System
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-60086
Acheter neuf
EUR 44,78
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics With The Nuprl Proof Development System
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABBB-101339
Acheter neuf
EUR 44,78
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics With the Nuprl Proof Development System
Vendeur : Books-R-Keen, DuBois, PA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : New. N° de réf. du vendeur 38A28558
Acheter neuf
EUR 43,47
Expédition à EUR 3,51
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics with the Nuprl Proof Development System
Edité par
Prentice-Hall, 1986
ISBN 10 : 0134518322
ISBN 13 : 9780134518329
Ancien ou d'occasion
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 304. N° de réf. du vendeur 5269419
Acheter D'occasion
EUR 41,20
Expédition à EUR 7,58
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics with the Nuprl Proof Development System
Edité par
Prentice-Hall, 1986
ISBN 10 : 0134518322
ISBN 13 : 9780134518329
Ancien ou d'occasion
Couverture rigide
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 304 1st Edition. N° de réf. du vendeur 262611316
Acheter D'occasion
EUR 46,33
Expédition à EUR 3,51
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Implementing Mathematics with the Nuprl Proof Development System
Edité par
Prentice-Hall, 1986
ISBN 10 : 0134518322
ISBN 13 : 9780134518329
Ancien ou d'occasion
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 304. N° de réf. du vendeur 182611326
Acheter D'occasion
EUR 41,39
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)