Implementing Mathematics With the Nuprl Proof Development System - Robert L. Constable
Comparateur de prix
1 offre · 6,17 €
Offre vérifiée
Analyse SuperScan
Analyse à la demande
Je peux parcourir le web et synthétiser l'ensemble des avis et données sur ce produit. Tu veux que je l'analyse pour toi ?
Caractéristiques
- Code EAN
- 9780134518329
Description
Implementing Mathematics With the Nuprl Proof Development System - Robert L. Constable d'occasion à petit prix - Livraison gratuite à partir de 20 € d'achat sur Ammareal.