Avoiding the cryptic terminology of proof as far as possible, this book starts at an elementary level & displays the connections between infinitary proof theory & generalized recursion theory, especially the theory of inductive definitions. It provides an introduction to ordinal arithmetic & to the Veblen hierarchy.