Pavel Pudlák

Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical concepts Includes supplementary material: sn.pub/extras