Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

ISBN 10: 981123647X ISBN 13: 9789811236471

Published by World Scientific Publishing Company, 2021

New HRD

From PBShop.store US, Wood Dale, IL, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since April 7, 2005

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CW-9789811236471

Report this item

Synopsis:

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Proof And Computation Ii: From Proof Theory ...
Publisher: World Scientific Publishing Company
Publication Date: 2021
Binding: HRD
Condition: New

Top Search Results from the AbeBooks Marketplace

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 4 out of 5 stars

hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWOWA0027C1

Contact seller

Buy Used

US$ 24.52

Convert currency

Shipping: US$ 3.99

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg,

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

Contact seller

Buy New

US$ 95.11

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Proof and Computation II (From Proof Theory and Univalent Mathematics to Program Extraction and Verification)

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg,

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 # ABNR-116654

Contact seller