Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)
by:
Clote · Krajicek
Hardcover
details (
UK
).
ISBN: 978-0-19-853690-1
ISBN-10: 0-19-853690-9
OUP Oxford
· 1993