Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition - Jean H. Gallier
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre26,63 €
Occasion · Bon État
- Livraison GRATUITE
- Livré entre le 23 et le 26 mai
Livré gratuitement chez vous en 2 semaines. L'article présente des traces d'utilisation, mais est en bon état. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis (https://fr.shopping.rakuten.com/feedback/momox) de...
Nos autres offres
-
54,31 €
Produit Neuf
Ou 13,58 € /mois
- Livraison : 5,00 €
- Livré entre le 26 et le 30 mai
Exp¿di¿ en 10 jours ouvr¿s
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres
0 avis sur Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché...
- Livres
Résumé :
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.
Détails de conformité du produit
Personne responsable dans l'UE