Cambridge University Press
Proofs and Computations (English, Helmut Schwichtenberg | Stanley S. Wainer)
₹4,028
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
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 Specifications
| ISBN-13 | 9780521517690 |
| ISBN-10 | 0521517699 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Proofs and Computations?
Proofs and Computations is available at ₹4,028 on BookShops.in.
Does BookShops.in offer free delivery for Proofs and Computations?
FREE delivery on all orders for Proofs and Computations.
Is Cash on Delivery available for Proofs and Computations?
Yes, Cash on Delivery (COD) is available for Proofs and Computations on BookShops.in. Pay when your order arrives.
What is the return policy for Proofs and Computations?
BookShops.in offers a 15-day hassle-free return policy for Proofs and Computations. Contact us at support@bookshops.in or call +91 90874 10993.
Is Proofs and Computations authentic?
Proofs and Computations is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Robin Grille Press
Parenting for a Peaceful World by Robin Grille – Child Psychology & Peaceful Parenting
₹2,592
McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
₹3,557
McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W
₹3,526
Andrews McMeel Publishing
Calvin and Hobbes: It's a Magical World by Bill Watterson
₹1,362
Bettie Young's Books
Amazing Adventures Of A Nobody by Leon Logothetis – Travel Memoir
₹1,237
Springer
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187
Related Products
View All
Cambridge University Press
Nietzsche on Suffering | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge Universi
₹2,106
Cambridge University Press
From Counting to Continuum | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Pr
₹5,414
Cambridge University Press
The Phonetics of Tarifit | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir |
₹2,054
Cambridge University Press
The Psychology of Personhood by Jack Martin – Psychology
₹3,127
Cambridge University Press
Indigo Plantations and Science in Colonial India
₹5,213
Cambridge University Press
Stable Categories and Structured Ring Spectra: 69 (Mathematical Sciences Research Institute Publications, Series Number 69)
₹5,844