This book is based on a symposium held at Stanford University. It focuses on the semantic content of the theories under consideration, rather than the syntactic structure of their proofs, and describes the systems of ordinal notations that are needed to carry out the ordinal analysis. Forms of assertion for a style of reasoning arise by fixing the meanings of some expressions . . . -Zentralblatt MATH, February 2005