Programming
Proof Theory in Computer Science (English, Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk)
₹5,499
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
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in…
ISBN: 9783540427520
Book Specifications
| ISBN-13 | 9783540427520 |
| ISBN-10 | 354042752X |
| Publisher | Springer |
| Category | Programming |
Frequently Asked Questions
What is the price of Proof Theory in Computer Science?
Proof Theory in Computer Science is available at ₹5,499 on BookShops.in.
Does BookShops.in offer free delivery for Proof Theory in Computer Science?
FREE delivery on all orders for Proof Theory in Computer Science.
Is Cash on Delivery available for Proof Theory in Computer Science?
Yes, Cash on Delivery (COD) is available for Proof Theory in Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for Proof Theory in Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Proof Theory in Computer Science. Contact us at support@bookshops.in or call +91 95575 56855.
Is Proof Theory in Computer Science authentic?
Proof Theory in Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Programming Abstractions in C++ | by Eric Roberts | Pearson | English | 1st Edition
₹4,707
Programming
Building Python Programs | by Stuart Reges | Marty Stepp | Allison Obourn | Pearson | English | 1st Edition
₹4,654
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793
Programming
Six Sigma Software Development | by Christine B. Tayntor | Auerbach Publications | English | 2nd Edition
₹4,706
Related Products
View AllProgramming
Six Sigma Software Development | by Christine B. Tayntor | Auerbach Publications | English | 2nd Edition
₹4,706
Programming
Programming Abstractions in C++ | by Eric Roberts | Pearson | English | 1st Edition
₹4,707
Programming
Building Python Programs | by Stuart Reges | Marty Stepp | Allison Obourn | Pearson | English | 1st Edition
₹4,654
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793