Search Problems and Bounded Arithmetic

Bok av Jiri Hanika