Arithmetic, proof theory, and computational complexity by Krajícek, Jan, Clote, Peter, Informatiker fromOxford science publications 0 Type: Book