TY  - BOOK
AU  - Clote, Peter. Ed.
AU  - Krajicek, Jan. Ed.
TI  - Arithmetic, Proof Theory, and Computational Complexity
SN  - 0 19 853690 9
CY  - Oxford
KW  - Logic
ER  -