Montant total (1 article articles) :
Destination de la commande :
9789811236471 - Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification (18 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (18)
- 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 (15)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (18)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
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 (7)
- Sans impressions à la demande (15)
Langue (1)
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
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : suffolkbooks, Center moriches, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 57,57
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 89,85
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 89,85
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 122,55
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 123,89
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 124,45
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 140,12
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proof and Computation II
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 154,86
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 140,43
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Langue: anglais
Edité par World Scientific Publishing Company, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,07
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 165,09
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Langue: anglais
Edité par World Scientific Publishing Company, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 165,64
Expédition à EUR 6,78
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Proof and Computation II
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 168,72
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 165,43
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Langue: anglais
Edité par World Scientific Pub Co Inc, 2021
ISBN 10 : 981123647X ISBN 13 : 9789811236471
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 205,43
Expédition à EUR 14,43
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 424 pages. 9.00x6.00x0.94 inches. In Stock.
-
EUR 143,38
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive m.
-
EUR 148,65
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierBuch. Etat : Neu. PROOF AND COMPUTATION II | Mainzer Klaus | Buch | Gebunden | Englisch | 2021 | World Scientific | EAN 9789811236471 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
PROOF AND COMPUTATION II
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 177,66
Expédition à EUR 63,82
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
