Fr. 220.00

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

English · Hardback

Shipping usually within 3 to 5 weeks

Description

Read more










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.

Product details

Authors Peter Schuster & Helmut S Klaus Mainzer
Assisted by Helmut Schwichtenberg (Editor), Klaus Mainzer (Editor), Klaus Mainzer (Editor), Mainzer Klaus (Editor), Peter Michael Schuster (Editor), Peter Schuster (Editor), Peter Michael Schuster (Editor), Helmut Schwichtenberg (Editor), Schwichtenberg Helmut (Editor)
Publisher Ingram Publishers Services
 
Languages English
Product format Hardback
Released 31.08.2021
 
EAN 9789811236471
ISBN 978-981-1236-47-1
Subjects Natural sciences, medicine, IT, technology > Mathematics > Basic principles

MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, MATHEMATICS / Research, Mathematical logic

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.