New edition of successful and unique textbook for students in mathematics or theoretical computer science.[...]