BookShops.in
Proof and Computation (English, Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg)-57% OFF
Sciences, Technology & Medicine

Proof and Computation (English, Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg)

By Klaus Mainzer | Peter Michael Schuster | Helmut SchwichtenbergWorld Scientific Publishing Company
₹4,886₹11,351Save 57%

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵Cash on Delivery — Pay when your order arrives
  • ↩️15-Day Easy Returns — Hassle-free return policy
  • 🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-139789813270930
ISBN-109813270934

Product Description

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

Frequently Asked Questions

What is the price of Proof and Computation?
Proof and Computation is available at ₹4,886 on BookShops.in.
Does BookShops.in offer free delivery for Proof and Computation?
FREE delivery on all orders for Proof and Computation.
Is Cash on Delivery available for Proof and Computation?
Yes, Cash on Delivery (COD) is available for Proof and Computation on BookShops.in. Pay when your order arrives.
What is the return policy for Proof and Computation?
BookShops.in offers a 15-day hassle-free return policy for Proof and Computation. Contact us at support@bookshops.in or call +91 81899 68108.
Is Proof and Computation authentic?
Proof and Computation is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer) — BookShops.in-43%

Sciences, Technology & Medicine

Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)

₹5,311₹9,385
Buy Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine) — BookShops.in-78%

Sciences, Technology & Medicine

Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)

₹5,209₹23,985
Buy Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew) — BookShops.in

Sciences, Technology & Medicine

Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)

₹4,788
Buy Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman) — BookShops.in

Sciences, Technology & Medicine

Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)

₹4,327
Buy Financial Products (English, Bill Dalton) — BookShops.in-74%

Sciences, Technology & Medicine

Financial Products (English, Bill Dalton)

₹5,108₹19,961
Buy Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert) — BookShops.in-62%

Sciences, Technology & Medicine

Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)

₹5,407₹14,329