Proof Computation by Mainzer Klaus (32 results)
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 79.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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: Digitization In Mathematics, Computer Science, And Philosophy
By Klaus Mainzer (Author), Peter Schuster (Author), Helmut Schwichtenberg (Author),
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 79.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 99.97
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 99.97
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 101.24
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 300.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 101.05
US$ 8.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 300.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 107.96
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 300.
Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 130.45
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by World Scientific Publishing Co Pte Ltd, 2018
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 133.10
Free ShippingShips within U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 136.69
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used.
- More images
Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 139.00
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 139.30
US$ 8.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 147.30
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used.
- More images
Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 140.81
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 146.60
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 143.94
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 173.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 175.97
Free ShippingShips within U.S.A.Quantity: 15 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 176.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 150.53
US$ 33.22 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus (Editor)/ Schuster, Peter (Editor)/ Schwichtenberg, Helmut (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 175.76
US$ 16.61 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 300 pages. 9.00x6.25x0.75 inches. In Stock.
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 185.69
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 190.63
US$ 7.80 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
HRD. Condition: 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
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 186.62
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 190.99
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 195.65
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, Klaus (Editor)/ Schuster, Peter (Editor)/ Schwichtenberg, Helmut (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 240.31
US$ 16.61 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 424 pages. 9.00x6.00x0.94 inches. In Stock.
- More images
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 131.05
US$ 79.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. PROOF AND COMPUTATION | Mainzer Klaus | Buch | Gebunden | Englisch | 2018 | World Scientific | EAN 9789813270930 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
- More images
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 168.15
US$ 55.78 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: 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.
- More images
- Hardcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 156.59
US$ 71.66 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 Predicative Foundations, Constructive Math…ematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. 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.
