-59% OFFProofs and Computations (English, Helmut Schwichtenberg | Stanley S. Wainer)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521517690 |
| ISBN-10 | 0521517699 |
| Author | Helmut Schwichtenberg | Stanley S. Wainer |
Product Description
Here on GlowMirror, you'll find Proofs and Computations filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Pe…
ISBN: 9780521517690
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Proofs and Computations
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Advanced students, researchers, and domain experts seeking in-depth knowledge.
Key Highlights
- ·Part II studies and classifies provable recursion in classical systems, from fragments of Pe… ISBN: 9780521517690
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





