Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition - Jean H. Gallier

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

54,31 €

Produit Neuf

Ou 13,58 € /mois

Livraison : 5,00 €
Livré entre le 2 et le 5 mai

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Exp¿di¿ en 10 jours ouvr¿s

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres

Note : 0 0 avis sur Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

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

Livres - Jean H. Gallier - 01/06/2015 - Broché - Langue : Anglais

Auteur(s) : Jean H. Gallier

Editeur : Dover Pubn Inc

Langue : Anglais

Parution : 01/06/2015

Format : Moyen, de 350g à 1kg

Nombre de pages : 528

Expédition : 751

Dimensions : 23.3 x 15.6 x 5.0

ISBN : 0486780821

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition - Jean H. Gallier

Avis sur Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres

Présentation Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché... - Livres

Présentation Logic For Computer Science: Foundations Of Automatic Theorem Proving, Second Edition de Jean H. Gallier Format Broché...
- Livres