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

Language: English

Condition: New Hardcover

Save for Later

Sold by Best Price, Torrance, CA, U.S.A.

AbeBooks Seller since August 30, 2024

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price: US$ 147.07 Convert Currency

US$ 7.98 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

SUPER FAST SHIPPING.

Seller Inventory # 9789811236471

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

World Scientific Pub Co Inc

Publication Date

2021

Language

English

ISBN 10

981123647X

ISBN 13

9789811236471

Binding

Hardcover

Condition

New

Seller catalogs

About this title

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.

Store Description

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Visit Seller's Storefront

Seller's business information

Sale & Shipping Terms

Terms of Sale

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

More Information

Shipping Terms

SUPER FAST SHIPPING!

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	1 to 3 business days	1 to 3 business days
First item	US$ 7.98	US$ 19.98

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.