Arithmetic, proof theory, and computational complexity /
| Other Authors: | , |
|---|---|
| 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: |
| Physical Description: | xii, 428 pages, 1 unnumbered page of plates : illustrations, portrait ; 24 cm. |
|---|---|
| ISBN: | 0820519650 0198536909 |