Arithmetic, proof theory, and computational complexity /

Bibliographic Details

Other Authors:	Clote, Peter, Krajíček, Jan
Format:	Book
Language:	English
Published:	New York : Oxford, England ; New York : Clarendon Press ; Oxford University Press, 1993.
Series:	Oxford science publications. Oxford logic guides ; 23.
Subjects:	Proof theory. Computational complexity.