Proof Theory in Computer Science (English, Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk)
by Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk
Delivery options
₹5,499
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,499
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540427520
ISBN-10
354042752X
Author
Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk
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
ISBN-13: 9783540427520
ISBN-10: 354042752X
Frequently Asked Questions
What is the price of Proof Theory in Computer Science?
Proof Theory in Computer Science starts from ₹5499 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Proof Theory in Computer Science?
Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk is the author of Proof Theory in Computer Science. Browse more books by Reinhard Kahle | Peter Schroeder-Heister | Robert Stärk on BookBajar.
Is Proof Theory in Computer Science available in Paperback and Hardcover?
Yes, Proof Theory in Computer Science is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Proof Theory in Computer Science?
Yes, BookBajar offers free delivery for Proof Theory in Computer Science across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540427520
🛒 Customers Also Bought
Jahrbuch Der Schiffbautechnischen Gesellschaft (English, Graf Vom Arco | G. Bauer | K. Roeser)
₹4,057
Sachenrecht (English, Hans Josef Wieling)
₹4,956
Kesselspeiseeinrichtungen (English, Otto Schöne | Otto Schöne)
₹4,220
Die Kehre Im Gebirgsstraßenbau (English, Paul Petrovic)
₹5,591
Augmented Reality and Virtual Reality: New Trends in Immersive Technology (Progress in IS) (English, Paperback, M. Claudia Tom Dieck, Timothy H. Ju...
₹5,698
Alphonse Mucha (Best of...) (English, Paperback, Patrick Bade, Victoria Charles)
₹2,700Related Products
Concise Encyclopedia of Supersymmetry (English, S. Duplij)
₹4,890
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Fair Share (English, Isaac Elishakoff)
₹3,491
Tomita's Theory of Modular Hilbert Algebras and Its Applications (English, M. Takesaki)
₹2,098
Ecological Responses to the 1980 Eruption of Mount St. Helens (English, Virginia H. Dale | J. F. Franklin | Frederick J. Swanson)
₹3,205