Journals Higher Education
Important OUP's Response to COVID-19 Learn more



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 06 May 1993

442 Pages | line figures


ISBN: 9780198536901

Bookseller Code (AQ)

Arithmetic, Proof Theory, and Computational Complexity

Edited by Peter Clote and Jan Krajícek

Clarendon Press

Oxford Logic Guides

This book principally concerns the rapidly growing area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof ...

Also of Interest