Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.

Bibliographic Details

Uniform Title:	Oxford logic guides ; 23. Oxford science publications.
Other Authors:	Clote, Peter Krajíček, Jan
Language:	English
Published:	Oxford [England] : New York : Clarendon Press ; Oxford University Press, [1993], ©1993.
Series:	Oxford logic guides ; 23. Oxford science publications.
Subjects:	Preuve, théorie de la. Complexité de calcul (Informatique) Proof theory. Computational complexity. Mathematical logic.
Physical Description:	xii, 428 pages, 1 unnumbered page of plates : illustrations ; 25 cm.
Format:	Book