Gesamtpreis (1 Artikel Artikel):
Versandziel:
proof computation theory univalent von klaus mainzer (15 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (15)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
- alle Einbände
- Hardcover (15)
- Softcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
- Keine Print-on-Demand Angebote (14)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 88,04
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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)
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 88,04
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 22,11
Währung umrechnenEUR 65,64 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: 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
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
EUR 123,21
Währung umrechnenEUR 7,88 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 129,31
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 124,89
Währung umrechnenEUR 10,50 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Publishing Company, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 156,47
Währung umrechnenEUR 4,78 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: 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
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 142,03
Währung umrechnenEUR 17,49 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 145,73
Währung umrechnenEUR 17,79 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Publishing Company, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 163,12
Währung umrechnenEUR 0,77 für den Versand von USA nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: 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
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 176,47
Währung umrechnenEUR 5,91 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 169,33
Währung umrechnenEUR 17,49 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 169,72
Währung umrechnenEUR 17,79 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Verlag: World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X ISBN 13: 9789811236471
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 210,82
Währung umrechnenEUR 11,86 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 424 pages. 9.00x6.00x0.94 inches. In Stock.
-
EUR 157,35
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
