Journals Higher Education
Important OUP's Response to COVID-19 Learn more
Important Distribution center temporarily closed: delays to orders expected Read more



Published: 10 June 1993

448 Pages | 4 illus.

ISBN: 9780198536901

Bookseller Code (06)

Arithmetic, Proof Theory, and Computational Complexity

Edited by Peter Clote and Jan Krajícek

A Clarendon Press Publication

Oxford Logic Guides


Also of Interest