Arithmetic, proof theory, and computational complexity

Responsibility
edited by Peter Clote and Jan Krajíček.
Imprint
New York : Clarendon Press ; Oxford, England ; New York : Oxford University Press, 1993.
Physical description
428 p.
Series
Oxford logic guides 23

Browse related items

Start at call number:
Librarian view | Catkey: 2729761