Proof Theory: The First Step into Impredicativity (Universitext)