Items related to Proof and Computation II
- PublisherWorld Scientific Pub Co Inc
- Publication date2021
- ISBN 10 981123647X
- ISBN 13 9789811236471
- BindingHardcover
- LanguageEnglish
- Number of pages424
Search results for Proof and Computation II
Stock Image
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Used
Hardcover
Seller: suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWOWA0027C1
Quantity: 1 available
Seller Image
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43175533
Quantity: 3 available
Seller Image
Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43175533-n
Quantity: 3 available
Stock Image
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
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. Seller Inventory # ABTA-251612
Quantity: 1 available
Stock Image
Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-290829
Quantity: 1 available
Stock Image
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Used
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. Seller Inventory # 26384592470
Quantity: 1 available
Stock Image
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0412070083528
Quantity: Over 20 available
Stock Image
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Used
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. Seller Inventory # 379311497
Quantity: 1 available
Stock Image
Proof and Computation II
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789811236471
Quantity: Over 20 available
Stock Image
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Published by
World Scientific Pub Co Inc, 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471
Used
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: Used. Seller Inventory # 18384592476
Quantity: 1 available