From
PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 7, 2005
New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CW-9789811236471
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.
Title: Proof And Computation Ii: From Proof Theory ...
Publisher: World Scientific Publishing Company
Publication Date: 2021
Binding: HRD
Condition: New
Seller: suffolkbooks, Center moriches, NY, U.S.A.
hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWOWA0027C1
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
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
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
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 # ABNR-116654
Quantity: 1 available
Seller: ALLBOOKS1, Direk, SA, Australia
Seller Inventory # SHUB290829
Quantity: 1 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. Seller Inventory # 26384592470
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Seller Inventory # 379311497
Quantity: 1 available
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9789811236471
Quantity: 1 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. Seller Inventory # 18384592476
Quantity: 1 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Apr0412070083528
Quantity: Over 20 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 43175533-n
Quantity: Over 20 available