Arithmetic, Proof Theory, and Computational Complexity
Oxford: Oxford University Press/Clarendon Press, 1993. First Edition. Hardcover; First Printing. Fine condition. Like new. ; ISBN 0198536909. (Oxford Logic Guides 23); 8vo - 8" to 9" tall. More
Oxford: Oxford University Press/Clarendon Press, 1993. First Edition. Hardcover; First Printing. Fine condition. Like new. ; ISBN 0198536909. (Oxford Logic Guides 23); 8vo - 8" to 9" tall. More