Proof Theoretic Complexity (2002)

by G. E. Ostrin, S. S. Wainer
Venue:IN PROOF AND SYSTEM RELIABILITY, H. SCHWICHTENBERG AND R. STEINBRÜGGEN, EDS. NATO SCIENCE SERIES