Arithmetic,proof theory and computational complexity - Clote Peter; Krajicek Jan (Calcutta Clarendon Press, 1993)
Keywords: Computational complexity; Mathematical logic; Proof theory