Journals Higher Education

£145.00

Hardback

Published: 06 May 1993

442 Pages | line figures

234x156mm

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 ...

Share: