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