Arithmetic, proof theory, and computational complexity /
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [England] ; New York :
Clarendon Press, 1993,
[date of publication not identified]
|
| Series: | Oxford logic guides ;
23. |
| Subjects: |
University Library Main Stacks, Lower Level
| Call Number: |
QA9.54 .A75 1993
|
|---|---|
| Copy 1 | Available Request this item |