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 Pub Co Inc, 2021

New Hardcover

From Ria Christie Collections, Uxbridge, United Kingdom Seller rating 5 out of 5 stars

AbeBooks Seller since March 25, 2015

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

In. Seller Inventory # ria9789811236471_new

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 Pub Co Inc
Publication Date: 2021
Binding: Hardcover
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$ 40.14

US$ 3.99 shipping
Ships within U.S.A.

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 # ABEOCT25-259290

Contact seller

Buy New

US$ 99.30

Free Shipping
Ships within U.S.A.

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