Proof and Computation (English, Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg)
by Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg
Delivery options
₹11,351
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹11,351
Book Details
Publisher
World Scientific Publishing Company
Language
English
ISBN-13
9789813270930
ISBN-10
9813270934
Author
Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg
About the Book
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 ad…
ISBN: 9789813270930
ISBN-13: 9789813270930
ISBN-10: 9813270934
Frequently Asked Questions
What is the price of Proof and Computation?
Proof and Computation starts from ₹11351 at BookBajar. Available in Paperback.
Who is the author of Proof and Computation?
Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg is the author of Proof and Computation. Browse more books by Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg on BookBajar.
Is Proof and Computation available in Paperback and Hardcover?
Yes, Proof and Computation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Proof and Computation?
Yes, BookBajar offers free delivery for Proof and Computation across India. No minimum order value required.
Is Cash on Delivery available for Proof and Computation?
Yes, Cash on Delivery (COD) is available for Proof and Computation on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9789813270930
🛒 Customers Also Bought
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229