Proof theory on the eve of the year 2000. Available from http://www-logic.stanford.edu/proofsurvey.html (1999)

by S Feferman