Africa largest book store
By: (Edited by) Helmut Schwichtenberg , (Edited by) Klaus Mainzer , (Edited by) Peter Michael Schuster
Werezi Extended Catalogue
Delivery in 34 days
Delivery fee
Delivery in 34 days
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 Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. 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.
Get Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy by at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by World Scientific Publishing Co Pte Ltd and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment
