Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

by Klaus Mainzer , Peter Michael Schuster , Helmut Schwichtenberg
Save 17% Save 17%
Current price ₹11,108.00
Original price ₹13,330.00
Original price ₹13,330.00
Original price ₹13,330.00
(-17%)
₹11,108.00
Current price ₹11,108.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9789813270930
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: World Scientific Publishing Company
  • Publisher Imprint: World Scientific Publishing Company
  • Publication Date:
  • Pages: 300
  • Original Price: USD 108.0
  • Language: English
  • Edition: N/A
  • Item Weight: 567 grams
  • BISAC Subject(s): Logic

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us