Home ›Springer ›Proof Theory in Computer Science (English, Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk)
Springer
Proof Theory in Computer Science (English, Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk)
₹5,499
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540427520 |
| ISBN-10 | 354042752X |
| Author | Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk |
