Arithmetic, Proof Theory, and Computational Complexity: 23 (Oxford Logic Guides)
by Clote,Krajicek,Peter Clote
ISBN 13: 9780198536901
Format: Hardcover (444 pages) Publisher: OUP Oxford Published: 06 May 1993
Save for later