All Books
Arithmetic, Proof Theory, and Computational Complexity (English, Clote | Krajicek | Peter Clote)
OUP Oxford

Arithmetic, Proof Theory, and Computational Complexity (English, Clote | Krajicek | Peter Clote)

4,445

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Share:
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Product Description

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

Book Specifications

ISBN-139780198536901
ISBN-100198536909
PublisherOUP Oxford
CategoryOUP Oxford

Frequently Asked Questions

What is the price of Arithmetic, Proof Theory, and Computational Complexity?
Arithmetic, Proof Theory, and Computational Complexity is available at ₹4,445 on BookShops.in.
Does BookShops.in offer free delivery for Arithmetic, Proof Theory, and Computational Complexity?
FREE delivery on all orders for Arithmetic, Proof Theory, and Computational Complexity.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Arithmetic, Proof Theory, and Computational Complexity?
BookShops.in offers a 15-day hassle-free return policy for Arithmetic, Proof Theory, and Computational Complexity. Contact us at support@bookshops.in or call +91 95575 56855.
Is Arithmetic, Proof Theory, and Computational Complexity authentic?
Arithmetic, Proof Theory, and Computational Complexity is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Customers Also Bought

Buy Circulating Being: From Embodiment to Incorportation | by Thomas Busch | ‎ Fordham University Press | ‎ English — BookShops.in

Fordham University Press

Circulating Being: From Embodiment to Incorportation | by Thomas Busch | ‎ Fordham University Press | ‎ English

3,534
Buy The Indianized States of Southeast Asia | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vell — BookShops.in

University of Hawaii Press

The Indianized States of Southeast Asia | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vella | Sue Brown Cowing | University of Hawaii Press | by George Coedès | Walter F. Vell

3,225
Buy Theopoetic Folds | by Roland Faber | Jeremy Fackenthal | ‎ Fordham Univ Pr | ‎ English — BookShops.in

Fordham University Press

Theopoetic Folds | by Roland Faber | Jeremy Fackenthal | ‎ Fordham Univ Pr | ‎ English

3,613
Buy Psychological Masquerade: Distinguishing Psychological from Organic Disorders | by Robert L. Taylor | ‎ Springer Pub Co | ‎ English | ‎ 3rd Edition — BookShops.in

Springer Publishing Company

Psychological Masquerade: Distinguishing Psychological from Organic Disorders | by Robert L. Taylor | ‎ Springer Pub Co | ‎ English | ‎ 3rd Edition

4,628
Buy INTRODUCTORY THEORY OF TOPOLOGICAL VECTOR SPATES | by Yau-Chuen Wong | ‎ TAYLOR & FRANCIS | ‎ English | ‎ 1st Edition — BookShops.in

CRC Press

INTRODUCTORY THEORY OF TOPOLOGICAL VECTOR SPATES | by Yau-Chuen Wong | ‎ TAYLOR & FRANCIS | ‎ English | ‎ 1st Edition

4,718
Buy Liquid Assets | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | — BookShops.in

RAND Corporation

Liquid Assets | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg | RAND Corporation | by Jill Boberg |

1,819

Your Cart

Your cart is empty

Add books to get started

Chat with us on WhatsApp