Lectures on Proof Verification and Approximation Algorithms by Hans Jürgen Prömel | Menrva Books