Logic and Computer Science - Andre Scedrov
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
39,54 €
Produit Neuf
Ou 9,89 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540527343_dbm
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 And Computer Science de Andre Scedrov Format Broché - Livre Littérature Générale
0 avis sur Logic And Computer Science de Andre Scedrov Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Les Rouges Du Midi Oeuvres Completes
2 avis
Occasion dès 20,00 €
-
Vitalogy; Or, Encyclopedia Of Health And Home
Neuf dès 51,67 €
-
Perfectionnement Italien
2 avis
Occasion dès 21,50 €
-
Kodak Pixpro Fz55 :
Neuf dès 48,99 €
-
Product Roadmaps Relaunched
Neuf dès 45,66 €
Occasion dès 33,49 €
-
Citizen Marx
Neuf dès 49,07 €
-
Bye Bye Covid
2 avis
Occasion dès 20,00 €
-
Married Women Who Love Women
Neuf dès 50,64 €
-
Gedichte
Neuf dès 46,66 €
-
The Complete Guide To High-Fire Glazes
3 avis
Neuf dès 27,03 €
Occasion dès 40,98 €
-
The Analytical Hebrew And Chaldee Lexicon
Occasion dès 20,00 €
-
Locals Only
1 avis
Neuf dès 27,05 €
Occasion dès 38,00 €
-
Under Siege
Neuf dès 40,31 €
-
The Young Adventurer's Collection [Dungeons & Dragons 4-Book Boxed Set]
Neuf dès 35,49 €
-
Gottfried Wilhelm Leibniz: De Conditionibus (Bibliotheque Des Textes Philosophiques)
Neuf dès 37,00 €
-
100 Dives Of A Lifetime
Neuf dès 38,69 €
Occasion dès 25,18 €
-
The Young Adventurer's Collection Box Set 2 (Dungeons & Dragons 4-Book Boxed Set)
Neuf dès 37,27 €
-
Vocal Workouts For The Contemporary Singer Vocal Training Book With Online Audio By Anne Peckham Singing Lessons For Beginners To Advanced Singers Vocal Exercise Guide For Range And Performance
Neuf dès 28,44 €
-
Scottish Public Opinion And The Anglo-Scottish Union, 1699-1707
Neuf dès 30,01 €
-
L'italien
2 avis
Neuf dès 26,90 €
Occasion dès 29,18 €
Produits similaires
Présentation Logic And Computer Science de Andre Scedrov Format Broché
- Livre Littérature Générale
Résumé :
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
Sommaire:
The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.
Détails de conformité du produit
Personne responsable dans l'UE