"Erratum to "Ordinal notations and well-orderings in bounded arithmetic" ..."

Arnold Beckmann, Samuel R. Buss, Chris Pollett (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics