TY  - BOOK
AU  - Clote Peter
AU  -  Krajicek Jan
TI  - Arithmetic, proof theory , and computational complexity
U1  - B1, N3 
PY  - 1993///
ER  -