Logic and Computer Science - Andre Scedrov
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre52,36 €
Produit Neuf
Ou 13,09 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540527343_dbm
Nos autres offres
-
54,45 €
Produit Neuf
Ou 13,61 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce -
63,72 €
Produit Neuf
Ou 15,93 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
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.
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 34,49 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Art Of Haikyu!!
Neuf dès 46,00 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
Occasion dès 109,50 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 39,05 €
-
Rise Up Women!
Neuf dès 36,76 €
-
The Name Of The Wind
Neuf dès 42,72 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
Invasion Usa
Neuf dès 42,78 €
-
One Piece Magazine One Piece 020
Occasion dès 28,99 €
-
Grandmaster Repertoire
Neuf dès 37,35 €
Occasion dès 27,09 €
-
Speaking - From Intention To Articulation
Occasion dès 40,01 €
-
Intermedia, Fluxus And The Something Else Press: Selected Writings By Dick Higgins
Neuf dès 38,68 €
-
Literature In English - Anthologie Des Littératures Anglophones
1 avis
Neuf dès 39,90 €
-
Some Heads
Neuf dès 37,40 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Francois Guizot Et La Culture Politique
Occasion dès 34,30 €
-
Twilight
1 avis
Occasion dès 47,02 €
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