Arithmetic, Proof Theory, and Computational Complexity (English, Clote | Krajicek | Peter Clote)
by Clote | Krajicek | Peter Clote
Delivery options
₹12,928
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 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: ₹12,928
Book Details
Publisher
OUP Oxford
Language
English
ISBN-13
9780198536901
ISBN-10
0198536909
Author
Clote | Krajicek | Peter Clote
About the Book
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory" the study of bounded arithmetic, propositional proof systems, length of proof, and similar themes, and the relations of these topics to computational complexity theory. Issuing from a two-year international collaboration, the book contains articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture…
ISBN: 9780198536901
ISBN-13: 9780198536901
ISBN-10: 0198536909
Frequently Asked Questions
What is the price of Arithmetic, Proof Theory, and Computational Complexity?
Arithmetic, Proof Theory, and Computational Complexity starts from ₹12928 at BookBajar. Available in Paperback.
Who is the author of Arithmetic, Proof Theory, and Computational Complexity?
Clote | Krajicek | Peter Clote is the author of Arithmetic, Proof Theory, and Computational Complexity. Browse more books by Clote | Krajicek | Peter Clote on BookBajar.
Is Arithmetic, Proof Theory, and Computational Complexity available in Paperback and Hardcover?
Yes, Arithmetic, Proof Theory, and Computational Complexity is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Arithmetic, Proof Theory, and Computational Complexity?
Yes, BookBajar offers free delivery for Arithmetic, Proof Theory, and Computational Complexity across India. No minimum order value required.
Is Cash on Delivery available for Arithmetic, Proof Theory, and Computational Complexity?
Yes, Cash on Delivery (COD) is available for Arithmetic, Proof Theory, and Computational Complexity on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780198536901
🛒 Customers Also Bought
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Bericht Über Den Vierten Kongress Für Heilpädagogik in Leipzig, 11.-15. April 1928 (English, Kongreß Für Heilpädagogik | Erwin Lesch)
₹3,508
Pediatric Oncology Nursing (English, Pamela S. Hinds | Lauri Linder)
₹15,592
Plotinus' Psychology (English, H. J. Blumenthal)
₹5,666
Die Zusammensetzung Des Zwetschenbranntweines (English, Karl Windisch)
₹3,508
Theoretische Informatik (English, Klaus W. Wagner)
₹2,155Related Products
Green Aviation: Reduction of Environmental Impact Through Aircraft Technology and Alternative Fuels (English, Hardcover)
₹2,700
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
Fifty-One Key Feminist Thinkers (Routledge Key Guides) (English, Paperback)
₹2,700
Communication Models for the Study of Mass Communications (English, Paperback, Denis McQuail, Sven Windahl)
₹2,700
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724