Arithmetic, proof theory, and computational complexity
By: edited by Peter Clote and Jan Krajíček.
Contributors: Clote, Peter.; Krajíček, Jan.
Series: Oxford logic guides -- 23; Oxford science publications
Publisher: Clarendon Press; Oxford University Press
Published: 1993
Place of publication: New York; Oxford, England; New York
Language: eng
Number of pages: 428
Subjects: Computational complexity.; Proof theory.
Notes: Includes bibliographical references.