Click on Notes on Proof and Logic to open the resource.