Search Problems and Bounded Arithmetic by Jirí Hanika