Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Arithmetic, Proof Theory, and Computational Complexity

By  Clote

Usually dispatched within 3 - 5 business days.

In Stock (962)

£ 195.75

Description

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.

Book Details
EAN:
9780198536901
Binding:
Hardback
Dimensions(mm):
242 x 162 x 30
Publication Date:
1993-05-06
Publication Country:
United Kingdom