
Computation, Proof, Machine (English, Gilles Dowek | Pierre Guillot | Marion Roman)
Inclusive of all applicable taxes. FREE shipping on all orders.
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
Product Description
About the Book
Computation is revolutionizing our world, even the inner world of the "pure" mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms - all have played an important role i…
ISBN: 9780521118019
Book Specifications
| ISBN-13 | 9780521118019 |
| ISBN-10 | 0521118018 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Computation, Proof, Machine?
Does BookShops.in offer free delivery for Computation, Proof, Machine?
Is Cash on Delivery available for Computation, Proof, Machine?
What is the return policy for Computation, Proof, Machine?
Is Computation, Proof, Machine authentic?
Customers Also Bought

Springer
Arzt Und Private Krankenversicherung | by Hans Göbbels | Springer | by Hans Göbbels | Springer

Springer
Das Problem Der Industriearbeit | by Hugo Borst | W. Hellpach | Springer | by Hugo Borst | W. Hellpach | Springer

British Archaeological Reports Oxford Ltd
La Alfarería Romana del Collet Est (Calonge, Girona) | by Josep Burch | Josep Maria Nolla | Joaquim Tremoleda | British Archaeological Reports Oxford Ltd | by Josep Burch | Josep Maria Nolla | Joaquim Tremoleda | British Archaeological Reports Oxford Ltd | by Josep Burch | Josep Maria Nolla | Joaquim Tremoleda | British Archaeological Reports Oxford Ltd | by Josep Burch | Josep Maria Nolla | Joaquim Tremoleda | British Archaeological Reports Oxford Ltd | by Josep Burch | Josep Maria Nolla | Joaq

Springer
Die Schlichtungsvcrordnung Vom 30. Oktober 1923 | by Georg Flatow | Richard Joachim | Springer | by Georg Flatow | Richard Joachim | Springer

Springer
Der Wald Und Die Gesetzgebung | by Ludwig Heiß | Springer | by Ludwig Heiß | Springer

Springer
Der Friedensvertrag Und Deutschlands Stellung in Der Weltwirtschaft | by Moritz Julius Bonn | Hans Bedow | Heinrich Dade | Springer | by Moritz Julius Bonn | Hans Bedow | Heinrich Dade | Springer
Related Products
View All
Cambridge University Press
COUNTERING TERRORISM IN BRITAIN AND FRANCE | by Frank Foley | Cambridge University Press | English

Cambridge University Press
BITANGENTIAL DIRECT AND INVERSE PROBLEMS FOR SYSTE | by Damir Z. Arov | Harry Dym | Cambridge University Press | English

Cambridge University Press
Preventing War and Promoting Peace | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Cambridge University Press | by William H. Wiist | Shelley K. White | Ca

Cambridge University Press
Fundamentals of Mobile Data Networks | by Guowang Miao | Jens Zander | Ki Won Sung | Cambridge English | English | 1st Edition

Cambridge University Press
Bullying, Cyberbullying and Student Well-Being in Schools | by Peter K. Smith | Suresh Sundaram | Barbara A. Spears | Cambridge University Press | by Peter K. Smith | Suresh Sundaram | Barbara A. Spears | Cambridge University Press | by Peter K. Smith | Suresh Sundaram | Barbara A. Spears | Cambridge University Press | by Peter K. Smith | Suresh Sundaram | Barbara A. Spears | Cambridge University Press | by Peter K. Smith | Suresh Sundaram | Barbara A. Spears | Cambridge University Press | by Pe

Cambridge University Press
