BookShops.in
Proofs and Computations (English, Helmut Schwichtenberg | Stanley S. Wainer)-59% OFF
Cambridge University Press

Proofs and Computations (English, Helmut Schwichtenberg | Stanley S. Wainer)

By Helmut Schwichtenberg | Stanley S. WainerCambridge University Press
₹4,028₹9,763Save 59%

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-139780521517690
ISBN-100521517699

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

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 81899 68108.
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

Buy God Without Being (English, Jean-Luc Marion) — BookShops.in

UChicagoPr

God Without Being (English, Jean-Luc Marion)

₹3,418
Buy Eight Mindful Steps to Happiness (English, Henepola Gunaratana) — BookShops.in

WisdomTree

Eight Mindful Steps to Happiness (English, Henepola Gunaratana)

₹1,373
Buy 101 Ways to Be Less Stressed (English, Caroline Leaf) — BookShops.in

Baker Books

101 Ways to Be Less Stressed (English, Caroline Leaf)

₹998
Buy The Oxford Bible Commentary (English, John Barton) — BookShops.in

Oxford University Press, USA

The Oxford Bible Commentary (English, John Barton)

₹2,949
Buy Be Thou My Vision (English, Jonathan Gibson) — BookShops.in

Crossway Books

Be Thou My Vision (English, Jonathan Gibson)

₹1,813
Buy The Act of Marriage (English, Tim LaHaye) — BookShops.in

Zondervan

The Act of Marriage (English, Tim LaHaye)

₹1,492

Related Products

View All
Buy Piracy in the Graeco-Roman World (English, Philip de Souza | Philip de Souza | Souza Philip de) — BookShops.in-10%

Cambridge University Press

Piracy in the Graeco-Roman World (English, Philip de Souza | Philip de Souza | Souza Philip de)

₹4,223₹4,688
Buy More Mathematical Challenges (English, Tony Gardiner) — BookShops.in

Cambridge University Press

More Mathematical Challenges (English, Tony Gardiner)

₹2,049
Buy The Usa, 1917-1941 (English, Ian Campbell) — BookShops.in

Cambridge University Press

The Usa, 1917-1941 (English, Ian Campbell)

₹2,235
Buy More Mathematical Activities (English, Brian Bolt) — BookShops.in

Cambridge University Press

More Mathematical Activities (English, Brian Bolt)

₹2,242
Buy Mathematical Cavalcade (English, Brian Bolt) — BookShops.in

Cambridge University Press

Mathematical Cavalcade (English, Brian Bolt)

₹1,741
Buy Holomorphic Dynamics (English, S. Morosawa | Y. Nishimura | M. Taniguchi) — BookShops.in-59%

Cambridge University Press

Holomorphic Dynamics (English, S. Morosawa | Y. Nishimura | M. Taniguchi)

₹4,727₹11,405