Montant total (1 article articles) :
Destination de la commande :
reductive logic proof search theory de pym david ritter eike (10 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (10)
- 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 (6)
- Comme neuf, Très bon ou Bon (3)
- 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)
Reliure
- Toutes
- Couverture rigide (10)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (5)
- Sans impressions à la demande (10)
Langue (2)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Livre 5 sur 11 : Oxford Logic GuidesVendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,54
Gratuit expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Livre 5 sur 11 : Oxford Logic GuidesVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 185,44
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Livre 5 sur 11 : Oxford Logic GuidesVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 176,48
EUR 13,63 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Livre 5 sur 11 : Oxford Logic GuidesVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 176,47
EUR 17,07 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Livre 5 sur 11 : Oxford Logic GuidesVendeur : ECOSPHERE, Champs sur marne, France
Évaluation du vendeur 5 sur 5 étoiles
EUR 129
EUR 65 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierCouverture rigide. Etat : Neuf.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Livre 5 sur 11 : Oxford Logic GuidesVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 194,56
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.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)
Livre 5 sur 11 : Oxford Logic GuidesVendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 185,20
EUR 28,45 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Livre 5 sur 11 : Oxford Logic GuidesVendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 210,69
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Livre 5 sur 11 : Oxford Logic GuidesVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 217,70
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Reductive Logic and Proof Search; Proof Theory, Semantics and Control
Edité par Clarendon Press, Oxford, 2004
Vendeur : Evening Star Books, ABAA/ILAB, Madison, WI, Etats-Unis
Membre d'association : ABAA ILAB IOBA
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 97,61
EUR 5,60 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very near Fine. First edition. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 45 in the Oxford Logic Guides series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.
