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

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg,

ISBN 10: 981123647X ISBN 13: 9789811236471

Published by World Scientific Pub Co Inc, 2021

Language: English

Condition: New Hardcover

Save for Later

Sold by Basi6 International, Irving, TX, U.S.A.

AbeBooks Seller since June 24, 2016

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price: US$ 95.11 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Seller Inventory # ABEJUNE24-290829

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

Brand 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

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Visit Seller's Storefront

Seller's business information

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Sale & Shipping Terms

Terms of Sale

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

INFORMATION REGARDING THE RIGHT OF CANCELLATION

Statutory Right to cancel

You have the right to cancel this contract within 14 days without giving any reason.

The cancellation period will expire af...

More Information

Shipping Terms

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 0.00	US$ 0.00

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.