Montant total (1 article articles) :
Destination de la commande :
foundations combinatory logic de curry haskell (20 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (20)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (17)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (10)
- Sans impressions à la demande (13)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,79
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik) (Paperback or Softback)
Edité par College Publications 4/19/2017, 2017
ISBN 10 : 1848902026 ISBN 13 : 9781848902022
Langue: anglais
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,14
Gratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,96
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,18
Gratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Foundations of Combinatory Logic
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,30
Gratuit expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Edité par College Publications 2017-04, 2017
ISBN 10 : 1848902026 ISBN 13 : 9781848902022
Langue: anglais
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 16,26
EUR 17,63 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,44
EUR 13,63 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 31,11
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 176.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 19,16
EUR 17,07 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,07
EUR 17,07 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
EUR 24,85
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. KlappentextCurry s PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry s interest in the subject started when he noticed the complicated form of substitution in Principia Mathematic.
-
Foundations of Combinatory Logic
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,79
EUR 73,97 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Foundations of Combinatory Logic
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,30
Gratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Combinatory Logic
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,37
EUR 4,73 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 30,27
EUR 7,40 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 176.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,32
EUR 15,52 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Combinatory Logic Vol I (Studies in Logic and the Foundations of Mathematics)
Edité par North-Holland Publishing, 1974, 1974
Vendeur : Antiquariaat Berger & De Vries, Groningen, Pays-Bas
Membre d'association : ILAB NVVA
Évaluation du vendeur 5 sur 5 étoiles
EUR 225
EUR 20 expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBound in yellow cloth. 417 p. -good.-(Spine slightly sunned, naame in ink on the fly-leaf, but otherwise the book is in good condition.).
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 31,46
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 176.
-
Foundations of Combinatory Logic : (Grundlagen der kombinatorischen Logik)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,42
EUR 61,39 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Curry's PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry's interest in the subject started when he noticed the complicated form of substitution in Principia Mathematica and set about trying to find a simpler form of this rule. This led him by 1926 to some of the combinators. In 1928 Curry went to G'ottingen and completed his dissertation in 1929 under the direction of David Hilbert. This book is a translation of the dissertation.Curry's dissertation was the first publication to give a complete formal development of combinatory logic as a formal system in which the terms are built up from variables and a number of constants (combinators including B, C and K) by means of application. The proof of the consistency of the system faced the major difficulty that the only reduction relation Curry had was what we now call weak reduction. This made it impossible to prove the Church-Rosser Theorem, which is now the standard way one proves the consistency of systems of this kind. Instead, Curry was looking at sequences based on what we now call weak contractions with strings of variables added on the right.After his dissertation, Curry developed further ground-breaking ideas that continue to be very influential. These include, functionality (which became the basis of what we now call type assignment), the correspondence between types and implication formulas (the beginning of the idea of 'propositions as types') and generalised functionality (a form of dependent types in modern type systems). Curry's ideas continue to influence developments in mathematics, logic and computation.We hope that making his original thesis available in English will help make his ideas clearer.We have made use of all information we could find by Curry, mostly from marginal notes in his copy of the dissertation, indicating corrections to the original German.
-
EUR 27,05
EUR 70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Foundations of Combinatory Logic | (Grundlagen der kombinatorischen Logik) | Haskell Curry | Taschenbuch | Kartoniert / Broschiert | Englisch | 2017 | College Publications | EAN 9781848902022 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
